package pilat

  1. Overview
  2. No Docs
A polynomial invariant generator based on Frama-C

Install

Dune Dependency

Authors

Maintainers

Sources

1.3.tar.gz
md5=70c732e7a2c3c5682a1acf2e4215c259
sha512=ef4f4cc5502c2d4f1f43c8d652d34fe17234fc55d9d6f98f441c5560b68fd3f333bb951b15e975e6a6126a457eabeab78681061a489ecfbf196ee73fb6c10a33