dpll-sat-solver Setup and install $ opam install dune menhir ANSITerminal $ make Example $ dune exec dpll-sat cnf/8-queens.cnf