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.

v2.3.0 :: 0 :: gentoo

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

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 / dune : A composable build system for OCaml

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

dev-ml / menhir : LR(1) parser generator for the OCaml language

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

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

sci-mathematics / psmt2-frontend : Library to parse and type-check an extension of the SMT-LIB 2 standard

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 / dune : A composable build system for OCaml

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

dev-ml / menhir : LR(1) parser generator for the OCaml language

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

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

sci-mathematics / psmt2-frontend : Library to parse and type-check an extension of the SMT-LIB 2 standard

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

Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
sci-mathematics/alt-ergo: fix BadInsIntoDir warning
Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
sci-mathematics/alt-ergo: fix build
Closes: https://bugs.gentoo.org/692252 Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
sci-mathematics/alt-ergo: bump to 2.3.0
Package-Manager: Portage-2.3.66, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
sci-mathematics/alt-ergo: Fix dependency
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11
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