sci-mathematics/alt-ergo – Gentoo Packages

Version	amd64	x86	alpha	arm	arm64	hppa	ia64	ppc	ppc64	riscv	sparc
2.4.2-r1 : 0	~amd64	x86	alpha	arm	arm64	hppa	ia64	ppc	ppc64	riscv	sparc
2.4.1_p20220407-r1 : 0	~amd64	x86	alpha	arm	arm64	hppa	ia64	ppc	ppc64	riscv	sparc
2.4.1-r2 : 0	amd64	x86	alpha	arm	arm64	hppa	ia64	ppc	ppc64	riscv	sparc
2.3.0-r1 : 0	amd64	x86	alpha	arm	arm64	hppa	ia64	ppc	ppc64	riscv	sparc

Upstream

Bugs-To	https://github.com/OCamlPro/alt-ergo/issues/
Remote-Id	https://github.com/OCamlPro/alt-ergo

Full description

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.
USE flags
Global Use Flags
- examples
- gui
- ocamlopt
License

CeCILL-C
Maintainer(s)

ML , Gentoo Mathematics Project

CI Report (verbose)

Repology

Git log (short)

sci-mathematics/ alt-ergo