CLASSES=none
PSTAMP=q20151011185454
LICFILE=gpl2.txt
LICURL=http://www.gnu.org/licenses/gpl-2.0.html
LICINFO=GNU General Public License, Version 2, June 1991
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.
BASEDIR=/usr
VENDOR=LINOFEE, http://www.linofee.org
EMAIL=developers@linofee.org
CATEGORY=develop,application
NAME=Theorem Prover E-Darwin
SERIALNUM=001
VERSION=1.4.26092011
ARCH=i386
PKG=LNFe-darwin