set name=pkg.fmri value=pkg://lnf/developer/hets/leo2@1.7.0.1,5.11-1.3.2.4:20151206T174308Z
set name=pkg.summary value="Theorem Prover Leo-II"
set name=pkg.description value="LEO-II is a standalone, resolution-based higher-order theorem prover designed for fruitful cooperation with specialist provers for natural fragments of higher-order logic. At present LEO-II can cooperate with TPTP compliant first-order automated theorem provers such as E, SPASS, Gandalf and Vampire."
set name=info.classification value=org.opensolaris.category.2008:Development/Hets
set name=info.source-url value=http://page.mi.fu-berlin.de/cbenzmueller/leo/
set name=variant.arch value=i386
file 78f7b40ad807bfafd5b25b07a3c280c66e2b17f0 chash=de216851a285220bffc9c5ce995bf2ce374a1990 elfarch=i386 elfbits=32 elfhash=590acc25d0beeb620e782d2ac0adeca5bbaa5142 group=bin mode=0755 owner=bin path=local/usr/bin/leo pkg.csize=811661 pkg.size=2511764
legacy arch=i386 category=develop,application desc="see: pkg info developer/hets/leo2" name="Theorem Prover Leo-II" pkg=LNFleo2 version=1.7.0.1
depend fmri=pkg:/system/library/c++-runtime@0.5 type=require
depend fmri=pkg:/system/library/math@0.5 type=require
depend fmri=pkg:/system/library@0.5 type=require