Issues
- 0
Debugging stuck computations
#20 opened by michaelcadilhac - 1
Enhancement suggestion: fast BDD algorithm for large coherent boolean functions
#17 opened by glarange - 1
Build failure with clang on macOS Big Sur
#19 opened by hassila - 0
Header files, <> versus " "? (C version)
#18 opened by glarange - 7
Building Sylvan 1.1.2 on MacOS fails
#14 opened by alaarman - 5
GC in critical section
#13 opened by thisiscam - 1
Reason protect preferred over addref ?
#9 opened by thisiscam - 2
Is the library thread safe?
#10 opened by thisiscam - 4
cofactor x = False ?
#7 opened by johnyf - 3
lddmc_relprod_union broken
#6 opened by Meijuh