sci-mathematics / alt-ergo

Automatic theorem prover

Official package sites : https://alt-ergo.ocamlpro.com ·

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.

v1.30 :: 0 :: gentoo

Modified
License
CeCILL-C
Keywords
amd64
USE flags
examples gtk ocamlopt

General

examples
Install examples, usually source code
gtk
Add support for x11-libs/gtk+ (The GIMP Toolkit)
ocamlopt
Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)

dev-lang / ocaml : Type-inferring functional programming language descended from the ML family

dev-ml / camlzip : Compressed file access ML library (ZIP, GZIP and JAR)

dev-ml / lablgtk : Objective CAML interface for Gtk+2

dev-ml / ocplib-simplex : A library implementing a simplex algorithm

dev-ml / zarith : Arithmetic and logic operations over arbitrary-precision integers

dev-lang / ocaml : Type-inferring functional programming language descended from the ML family

dev-ml / camlzip : Compressed file access ML library (ZIP, GZIP and JAR)

dev-ml / lablgtk : Objective CAML interface for Gtk+2

dev-ml / ocplib-simplex : A library implementing a simplex algorithm

dev-ml / zarith : Arithmetic and logic operations over arbitrary-precision integers

dev-lang / spark : Software development for high-reliability applications.

Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
sci-mathematics/alt-ergo: Stable release
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
Repository mirror & CI · gentoo
Merge updates from master
Michael Mair-Keimberger · gentoo
sci-mathematics/alt-ergo: use HTTPs
Tupone Alfredo · gentoo
sci-mathematics/alt-ergo: Adding alt-ergo 1.30
Package-Manager: Portage-2.3.8, Repoman-2.3.3