Tranformations for SDDs (Condition, Forget, Forall, ...) - Githubissues

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

Tranformations for SDDs (Condition, Forget, Forall, ...) #73

Open khosravipasha opened 3 years ago

khosravipasha commented 3 years ago

Support transformations for SDDs

[ ] Conditioning (to be rename to conjoin_literals)
[ ] Forgetting
[ ] Forall