regstab

Maintainer contact@ocamlpro.com
Dependencies
& ocamlbuild
ocamlfind
Published Aug 21, 2012
Source [http] http://forge.ocamlcore.org/frs/download.php/859/regstab-2.0.0.tar.gz
bacea0b985f75328453a2b2da40afa07
Statistics Installed 2 times in last month.
Edit https://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