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 sha256=cdba97a1a1e851981370c07326954aed9621519ead039e6dbceeef6e7e4766c4 md5=bacea0b985f75328453a2b2da40afa07 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/regstab/regstab.2.0.0/opam |
No package is dependent