alt-ergo 0.94 math =0

An automatic theorem prover dedicated to program verification
Maintained by: bf@FreeBSD.org
Port Added: 21 Dec 2011 02:58:38
License: CeCILL-C

---

---

Alt-Ergo is an automatic theorem prover dedicated to program verification.
Alt-Ergo is based on CC(X), a congruence closure algorithm parameterized by
an equational theory X. Currently, CC(X) can be instantiated by the empty
equational theory and by the linear arithmetics. Alt-Ergo contains also a
home made SAT-solver and an instantiation mechanism.

Alt-Ergo is compact, safe, and modular. Each component is described by a small
set of inference rules and is implemented as an Ocaml functor.

WWW:	http://alt-ergo.lri.fr

CVSWeb : Sources : Main Web Site : Distfiles Availability : PortsMon

---

NOTE: FreshPorts displays only required dependencies information. Optional dependencies are not covered.
Required To Build: math/ocaml-ocamlgraph, x11-toolkits/ocaml-lablgtk2, lang/ocaml, devel/gmake
Required To Run: math/ocaml-ocamlgraph, x11-toolkits/ocaml-lablgtk2, lang/ocaml
There are no ports dependent upon this port

---

To install the port: cd /usr/ports/math/alt-ergo/ && make install clean
To add the package: pkg_add -r alt-ergo

---

Configuration Options

===> The following configuration options are available for alt-ergo-0.94:
     GUI=on (default) "Build the GUI"
===> Use 'make config' to modify these settings

---

Master Sites:

http://alt-ergo.lri.fr/http/

ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/local-distfiles/bf/

ftp://ftp.se.FreeBSD.org/pub/FreeBSD/ports/local-distfiles/bf/

ftp://ftp.uk.FreeBSD.org/pub/FreeBSD/ports/local-distfiles/bf/

ftp://ftp.ru.FreeBSD.org/pub/FreeBSD/ports/local-distfiles/bf/

ftp://ftp.jp.FreeBSD.org/pub/FreeBSD/ports/local-distfiles/bf/

ftp://ftp.tw.FreeBSD.org/pub/FreeBSD/ports/local-distfiles/bf/

ftp://ftp.cn.FreeBSD.org/pub/FreeBSD/ports/local-distfiles/bf/

ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/

Add alt-ergo 0.94, an automatic theorem prover dedicated to program
verification.

12 vulnerabilities affecting 17 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities