search

Tractables / LogicCircuits.jl

Logic Circuits from the Juice library
https://tractables.github.io/LogicCircuits.jl/dev/
Apache License 2.0
49 stars 4 forks source link

Integrate with CUDD.jl #75

Open guyvdbroeck opened 3 years ago

guyvdbroeck commented 3 years ago

Cf. https://github.com/sisl/CUDD.jl