pilatversion Documentation on ocaml.org
Polynomial invariant generator
| Author | Steven De Oliveira <de.oliveira.steven@gmail.com> |
|---|---|
| License | LGPL-2.1-only |
| Published | |
| Homepage | https://github.com/Stevendeo/Pilat/ |
| Issue Tracker | https://github.com/Stevendeo/Pilat/issues |
| Maintainer | Steven De Oliveira <de.oliveira.steven@gmail.com> |
| Dependencies | |
| Source [http] | https://github.com/Stevendeo/Pilat/archive/refs/tags/1.6.tar.gz md5=20a79901296d78e59083d608388b1e29 sha512=8275572448e2f2b558dd9307ac436a3ef64878f9551b46517421f6a210b6d07ed519c271b3c27393b48bbcdcd6838a3e9df3a9e6e627a324a3aa70d35226f4d3 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/pilat/pilat.1.6/opam |
No package is dependent
