{"added":null,"apiVersion":1,"behindSince":null,"buildDepends":[],"categories":["math"],"comment":"Theorem prover for full first-order logic with equality","compare":null,"dependentCount":null,"description":"A saturating theorem prover for full first-order logic with equality. It accepts\na problem specification, typically consisting of a number of first-order clauses\nor formulas, and a conjecture, again either in clausal or full first-order\nform. The system will then try to find a formal proof for the conjecture,\nassuming the axioms.","flavors":[],"html":"https://daemonports.org/dragonfly/math/eprover/","kind":"port","lastUpdate":null,"license":["GPLv2+","LGPL20+"],"maintainer":"yuri@FreeBSD.org","name":"eprover","newest":true,"newestVersion":"2.6","noVulnData":false,"origin":"math/eprover","otherSystems":[{"maintainer":"yuri@FreeBSD.org","newest":true,"origin":"math/eprover","path":"/math/eprover/","system":"FreeBSD","version":"2.6_2"},{"maintainer":"yuri@FreeBSD.org","newest":true,"noVulnData":true,"origin":"math/eprover","path":"","system":"HardenedBSD","version":"2.6_2"},{"maintainer":"yuri@FreeBSD.org","newest":true,"noVulnData":true,"origin":"math/eprover","path":"","system":"GhostBSD","version":"2.6_2"}],"packages":null,"pkgName":"eprover-2.6_2","related":null,"repository":"DPorts","requiredBy":[],"requiredByCount":0,"runDepends":["shells/bash"],"status":null,"system":"dragonfly","systemLabel":"DragonFly","version":"2.6_2","versions":null,"vulnerabilities":null,"www":"https://www.eprover.org"}