efremov@linux.com Denis Efremov https://github.com/trolando/sylvan/issues trolando/sylvan Sylvan is a parallel decision diagram library supporting binary decision diagrams (BDDs), multi-terminal BDDs and list decision diagrams. It uses the Lace framework for parallel execution.