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