regstabversion

SAT-Solver able to deal with formulae patterns

Published
Maintainerhttps://github.com/ocaml/opam-repository/issues
Dependencies
Source [http] http://forge.ocamlcore.org/frs/download.php/859/regstab-2.0.0.tar.gz
md5=bacea0b985f75328453a2b2da40afa07
StatisticsNot installed in the last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/regstab/regstab.2.0.0/opam
No package is dependent