ocaml-sat-solvers
Externalsat
Preprocessor
Pseudosatwrapper
Satsolutionlexer
Satsolutionparser
Satsolvers
Satwrapper