SSoelvsten / bdd-benchmark

Benchmarking Suite for BDD packages

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Fix Sylvan reinitializes worker for each operation

SSoelvsten opened this issue · comments

To use Sylvan properly, its operations should already be called from a LACE task. This should improve its performance (especially for smaller instances). For examples, see the various programs in Sylvan's example folder.