PKG=LNFe-krhyper
ARCH=x86_64
VERSION=1.4.21022014
SERIALNUM=001
NAME=Theorem Prover and model generator E-KRHyper
CATEGORY=develop,application
EMAIL=jel+ubuntu-pkg@cs.uni-magdeburg.de
VENDOR=http://theo.iks.cs.ovgu.de/
BASEDIR=/usr
DESC=E-KRHyper is a model generator and theorem prover for first-order logic with equality. It is an extended version of Christoph Wernhard's KRHyper system and implements the new E-Hyper tableaux calculus.
LICINFO=GNU General Public License, Version 2, June 1991
LICURL=http://www.gnu.org/licenses/gpl-2.0.html
LICFILE=gpl2.txt
PSTAMP=xenial20201029231520
CLASSES=none