/BDD-Tetra

OCaml Library to manipulate Binary Decision Diagram (BDD) representing logic formulas, application to the resolution of tetravex

Primary LanguageOCaml

No issues in this repository yet.