BSD Portswip/alt-ergo 1.01 NetBSD
Automatic theorem prover for program verification
- System
- NetBSD
- Repository
- pkgsrc-wip
- Maintainer
- [email protected]
- Categories
- wip, devel
Description
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. Its architecture is summarized by the the following picture.
In the other systems
The newest version among them is 2.5.4, as upstream numbers it.
| System | Port | Version | Vulnerabilities | Status | Maintainer | Last update |
|---|---|---|---|---|---|---|
| NetBSD | wip/alt-ergo | 1.01 | none known | - | [email protected] | - |
| FreeBSD | math/alt-ergo by name | 2.5.4_2 newest | none known | - | [email protected] | - |
| DragonFly | math/alt-ergo by name | 2.5.4_2 newest | none known | - | [email protected] | - |
| GhostBSD | math/alt-ergo by name | 2.5.4_2 newest | no data | - | [email protected] | - |
Install
From pkgsrc-wip (no binary package):
cd /usr/pkgsrc/wip/alt-ergo && make install cleanDependency graph
Ports that need it on the left, what it needs to run on the right; at most 8 of each. "Dependencies" below lists them all.
Dependencies
Run dependencies 4
No port depends on this one.