Automatic theorem prover based on SMT technology and dedicated to program verification: Graphical interface

Description

Published: 30 Dec 2014

Dependencies (6)

  1. num
  2. conf-gtksourceview = "2"
  3. lablgtk
  4. ocamlgraph >= "1.8.2"
  5. zarith
  6. ocaml

Reverse Dependencies (1)

  1. frama-c = "13.1"

Conflicts

    None

Install

Documentation failed to build. alt-ergo.ocamlpro.com Edit opam file

Authors

  1. A
    Alt-Ergo developers

Maintainers

  1. A
    alt-ergo@ocamlpro.com

Sources

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