Learn
Documentation
Packages
Community
OPAM on Github
OPAM
Repository
Documentation
Primer
Quick Install
Basic Usage
Specifying Solver Preferences
FAQ
Go Further
Advanced Install
Advanced Usage
Developing
For Packagers
Packaging
OPAM 1.2 BETA
About OPAM
Platform Blog
#
en
regstab
latest 2.0.0
SAT-Solver able to deal with formulae patterns
Maintainer
contact@ocamlpro.com
Events
Aug 21, 2012
Published
version
2.0.0