{"added":null,"apiVersion":1,"behindSince":null,"buildDepends":[],"categories":["wip","devel"],"comment":"Automatic theorem prover for program verification","compare":"/compare/alt-ergo/index.json","dependentCount":null,"description":"Alt-Ergo is an automatic theorem prover dedicated to program\nverification. Alt-Ergo is based on CC(X) a congruence closure algorithm\nparameterized by an equational theory X. Currently, CC(X) can be instantiated\nby the empty equational theory and by the linear arithmetics. Alt-Ergo\ncontains also a home made SAT-solver and an instantiation mechanism. Its\narchitecture is summarized by the the following picture.","flavors":[],"html":"https://daemonports.org/netbsd/wip/alt-ergo/","kind":"port","lastUpdate":null,"license":[],"maintainer":"MarkoSchuetz@web.de","name":"alt-ergo","newest":false,"newestVersion":"2.5.4","noVulnData":false,"origin":"wip/alt-ergo","otherSystems":[{"maintainer":"freebsd@dev.thsi.be","matchedBy":"name","newest":true,"origin":"math/alt-ergo","path":"/math/alt-ergo/","system":"FreeBSD","version":"2.5.4_2"},{"maintainer":"freebsd@dev.thsi.be","matchedBy":"name","newest":true,"origin":"math/alt-ergo","path":"/dragonfly/math/alt-ergo/","system":"DragonFly","version":"2.5.4_2"},{"maintainer":"freebsd@dev.thsi.be","matchedBy":"name","newest":true,"noVulnData":true,"origin":"math/alt-ergo","path":"","system":"GhostBSD","version":"2.5.4_2"}],"packages":null,"pkgName":"alt-ergo-1.01","related":null,"repository":"pkgsrc-wip","requiredBy":[],"requiredByCount":0,"runDepends":["devel/nspr","devel/ocamlgraph","lang/ocaml","x11/ocaml-lablgtk"],"status":null,"system":"netbsd","systemLabel":"NetBSD","version":"1.01","versions":null,"vulnerabilities":null,"www":"http://ergo.lri.fr/"}