/BDD-Tetra

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

Primary LanguageOCaml

BDD-Tetravex

Implementation of a OCaml Library to manipulate Binary Decision Diagram (BDD) representing logic formulas. We then reduce a Tetravex problem to a formula, which is solved using a BDD.