PKG=LNFe-darwin
ARCH=x86_64
VERSION=1.4.26092011
SERIALNUM=001
NAME=Theorem Prover E-Darwin
CATEGORY=develop,application
EMAIL=developers@linofee.org
VENDOR=LINOFEE, http://www.linofee.org
BASEDIR=/usr
DESC=E-Darwin is an automated theorem prover for first-order clausal logic with equality. It accepts problems in tptp or tme syntax. Non-clausal input is clausified using the eprover (or soon a built-in clausifier). E-Darwin is a fork of Darwin 1.3 (has not caught up to 1.4.5 yet) and  implements the Model Evolution calculus and several variants thereof which include equality reasoning.
LICINFO=GNU General Public License, Version 2, June 1991
LICURL=http://www.gnu.org/licenses/gpl-2.0.html
LICFILE=gpl2.txt
PSTAMP=xenial20201027143441
CLASSES=none