├── Makefile ├── README.md ├── cnf.ml ├── dpll.ml ├── generator.ml └── test.ml /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/charliermarsh/OCaml-SAT-Solvers/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/charliermarsh/OCaml-SAT-Solvers/HEAD/README.md -------------------------------------------------------------------------------- /cnf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/charliermarsh/OCaml-SAT-Solvers/HEAD/cnf.ml -------------------------------------------------------------------------------- /dpll.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/charliermarsh/OCaml-SAT-Solvers/HEAD/dpll.ml -------------------------------------------------------------------------------- /generator.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/charliermarsh/OCaml-SAT-Solvers/HEAD/generator.ml -------------------------------------------------------------------------------- /test.ml: -------------------------------------------------------------------------------- 1 | open Generator 2 | 3 | let _ = 4 | gen_solve_print 4 3 3 5 | --------------------------------------------------------------------------------