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.
OCaml Library to manipulate Binary Decision Diagram (BDD) representing logic formulas, application to the resolution of 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.
OCaml Library to manipulate Binary Decision Diagram (BDD) representing logic formulas, application to the resolution of tetravex