ocaml-sat-solvers

An abstraction layer for integrating SAT Solvers into OCaml.

Libraries

This package provides the following libraries (via ocamlobjinfo):

ocaml-sat-solvers

Documentation: