package satML-plugin

  1. Overview
  2. Docs
Automatic theorem prover based on SMT technology and dedicated to program verification: satML plugin

Install

Dune Dependency

Authors

Maintainers

Sources

alt-ergo-0.99.1.tar.gz
md5=1fd351547441553a1d8ac543adda6cdb

Description

Published: 30 Dec 2014

Dependencies (4)

  1. alt-ergo = "0.99.1"
  2. ocamlgraph >= "1.8.2"
  3. zarith
  4. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.