PKG=LNFdarwin
ARCH=x86_64
VERSION=1.4.5
SERIALNUM=001
NAME=Theorem Prover Darwin
CATEGORY=develop,application
EMAIL=jel+ubuntu-pkg@cs.uni-magdeburg.de
VENDOR=http://theo.iks.cs.ovgu.de/
BASEDIR=/usr
DESC=Darwin is an automated theorem prover for first order clausal logic. It accepts problems formulated in tptp or tme format, non-clausal tptp problems are clausified using the eprover. Equality is not built into the currently implemented version of the calculus, it is instead automatically axiomatized for a given problem. Darwin is a decision procedure for function-free clause sets, and is in general faster and scales better on such problems than propositional approaches.
LICINFO=GNU General Public License, Version 2, June 1991
LICURL=http://www.gnu.org/licenses/gpl-2.0.html
LICFILE=gpl2.txt
PSTAMP=focal20201027152331
CLASSES=none