regstab

Maintainerhttps://github.com/ocaml/opam-repository/issues
Dependencies
&ocamlbuild
ocamlfind
PublishedAug 21, 2012
Source [http] http://forge.ocamlcore.org/frs/download.php/859/regstab-2.0.0.tar.gz
bacea0b985f75328453a2b2da40afa07
StatisticsInstalled 2 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/regstab/regstab.2.0.0/opam

SAT-Solver able to deal with formulae patterns

No package is dependent