regstabversion
SAT-Solver able to deal with formulae patterns
Published | |
---|---|
Maintainer | https://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 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/regstab/regstab.2.0.0/opam |
No package is dependent