regstab 2.0.0
| Maintainer | contact@ocamlpro.com | ||||
|---|---|---|---|---|---|
| Dependencies |
|
||||
| Published | Aug 21, 2012 | ||||
| Source [http] |
http://forge.ocamlcore.org/frs/download.php/859/regstab-2.0.0.tar.gz bacea0b985f75328453a2b2da40afa07 |
||||
| 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 |