package pilat

  1. Overview
  2. No Docs
Polynomial invariant generator

Install

Dune Dependency

github.com Edit opam file Versions (4)

Authors

  1. S
    Steven De Oliveira <de.oliveira.steven@gmail.com>

Maintainers

  1. S
    Steven De Oliveira <de.oliveira.steven@gmail.com>

Sources

1.6.tar.gz
md5=20a79901296d78e59083d608388b1e29
sha512=8275572448e2f2b558dd9307ac436a3ef64878f9551b46517421f6a210b6d07ed519c271b3c27393b48bbcdcd6838a3e9df3a9e6e627a324a3aa70d35226f4d3

Description

Published: 22 Aug 2022

Dependencies (6)

  1. frama-c >= "22.0"
  2. why3 >= "1.3.0"
  3. zarith >= "1.12"
  4. lacaml >= "11.0.8"
  5. ocamlfind
  6. ocaml >= "4.08.1"

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct