Issues
- 5
CUDD on Apple M1
#23 opened by drbuckleyjr - 8
TagBot trigger issue
#18 opened by JuliaTagBot - 3
Use Yggdrasil
#21 opened by blegat - 3
BDD complement/negation functionality?
#16 opened by guyvdbroeck - 1
- 9
Julia v1.5 failure because of @eval in __init__
#15 opened by blegat - 1
Broken link in README
#14 opened by a-yildiz - 1
Use BinaryBuilder
#8 opened by MaximeBouton - 1
- 2
Update to Julia > 1.0
#7 opened by MaximeBouton - 0