pilat

Polynomial invariant generator
Description
Install
Documentation failed to build! Sorry about that.
Published
22 Aug 2022
Sources
1.6.tar.gz
md5=20a79901296d78e59083d608388b1e29
sha512=8275572448e2f2b558dd9307ac436a3ef64878f9551b46517421f6a210b6d07ed519c271b3c27393b48bbcdcd6838a3e9df3a9e6e627a324a3aa70d35226f4d3
Dependencies
frama-c
>= "22.0"
why3
>= "1.3.0"
zarith
>= "1.12"
lacaml
>= "11.0.8"
ocaml
>= "4.08.1"
Reverse Dependencies