Skip to content

OCamlPro public development repository for Alt-Ergo

License

Notifications You must be signed in to change notification settings

bclement-ocp/alt-ergo

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Alt-Ergo

Alt-Ergo is an open-source automatic solver of mathematical formulas designed for program verification. It is based on Satisfiability Modulo Theories (SMT). Solvers of this family have made impressive advances and became very popular during the last decade. They are now used is various domains such as hardware design, software verification and formal testing. It was developed at LRI, and is now improved and maintained at OCamlPro, and friendly collaboration is maintained with the Why3 development team.

You can try Alt-Ergo online. Also see the Alt-Ergo Users' Club.

Build status

next main
Build Status (next) Build Status (main)

Website

Alt-Ergo's website: https://alt-ergo.ocamlpro.com.

Documentation

See our general documentation, the API documentation and the developers documentation.

Download

We provide sources tarball of the latest release of Alt-Ergo. You can also find it on the GitHub's releases' page.

Alt-Ergo is available in the OCaml package manager opam with this command:

opam install alt-ergo

Copyright

See the section LICENSE.

Build

See installation instructions section.

Contributing

Please refer to our contributing guidelines.

Support

See Alt-Ergo @ OCamlPro or contact us at [email protected] for more details.

About

OCamlPro public development repository for Alt-Ergo

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • OCaml 96.5%
  • SMT 1.8%
  • Shell 0.5%
  • Nix 0.5%
  • Makefile 0.4%
  • Perl 0.2%
  • Other 0.1%