ocaml-sat-solvers
An abstraction layer for integrating SAT Solvers into OCaml.
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:
SatwrapperMinisatwrapperSatsolverregistrySatsolversPseudosatwrapperPreprocessorSatsolutionparserSatsolutionlexerExternalsat