ocaml-sat-solvers
An abstraction layer for integrating SAT Solvers into OCaml.
1024">
IN THIS PACKAGE
-
library ocaml-sat-solvers
-
module Externalsat
-
module Satsolutionlexer
-
module Satsolutionparser
-
module Satsolvers
-
Libraries
This package provides the following libraries (via ocamlobjinfo):
ocaml-sat-solvers
Documentation:
Satwrapper
Minisatwrapper
Satsolverregistry
Satsolvers
Pseudosatwrapper
Preprocessor
Satsolutionparser
Satsolutionlexer
Externalsat