search

Tractables / LogicCircuits.jl

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

Compile BDD to LogicCircuits #91

Open khosravipasha opened 3 years ago

khosravipasha commented 3 years ago

Related to https://github.com/Juice-jl/LogicCircuits.jl/pull/90