Opened this issue 5 years ago · 0 comments
Consider moving parts of the boolean function parsing to stdlib (see bdd-lib#5) for better interoperability.