regstabversion

SAT-Solver able to deal with formulae patterns

Published
Maintainerhttps://github.com/ocaml/opam-repository/issues
Dependencies
Source [http] https://download.ocamlcore.org/regstab/regstab/2.0.0/regstab-2.0.0.tar.gz
md5=bacea0b985f75328453a2b2da40afa07
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/regstab/regstab.2.0.0/opam
No package is dependent