Source Package alt-ergo

Subpackages

• alt-ergo - Automated theorem prover including linear arithmetic
• alt-ergo-gui - Graphical front end for Alt-Ergo
• ocaml-alt-ergo - Automated theorem prover library
• ocaml-alt-ergo-devel - Development files for ocaml-altergolib
• ocaml-alt-ergo-lib - Automated theorem prover library
• ocaml-alt-ergo-lib-devel - Development files for ocaml-alt-ergo-lib
• ocaml-alt-ergo-parsers - Parser library used by the Alt-Ergo SMT solver
• ocaml-alt-ergo-parsers-devel - Development files for ocaml-alt-ergo-parsers