pilatversion

A polynomial invariant generator based on Frama-C

AuthorSteven De Oliveira <de.oliveira.steven@gmail.com>
LicenseLGPLv2.1
Published
Homepagehttps://github.com/Stevendeo/Pilat/
Issue Trackerhttps://github.com/Stevendeo/Pilat/
MaintainerSteven De Oliveira <de.oliveira.steven@gmail.com>
Dependencies
Source [http] https://github.com/Stevendeo/Pilat/archive/1.3.tar.gz
md5=70c732e7a2c3c5682a1acf2e4215c259
sha512=ef4f4cc5502c2d4f1f43c8d652d34fe17234fc55d9d6f98f441c5560b68fd3f333bb951b15e975e6a6126a457eabeab78681061a489ecfbf196ee73fb6c10a33
StatisticsInstalled 5 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/pilat/pilat.1.3/opam
No package is dependent