set name=pkg.fmri value=pkg://lnf/developer/hets/e-darwin@1.4.26092011,5.11-1.2.13.6:20151011T165456Z
set name=pkg.summary value="Theorem Prover E-Darwin"
set name=pkg.description value="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."
set name=info.classification value=org.opensolaris.category.2008:Development/Hets
set name=info.source-url value=http://userpages.uni-koblenz.de/~bpelzer/edarwin/
set name=variant.arch value=i386
file 8840c32a4209507f2611e002f8be83324df7105e chash=260546ce418e4494deb37c70be0f8c15f3f2c554 elfarch=i386 elfbits=32 elfhash=d7c33708528f29a4bcaa60e45e9c5c3645d1e16a group=bin mode=0755 owner=bin path=local/usr/bin/e-darwin pkg.csize=771107 pkg.size=2326436
file 82f75e5b71f0b82551e0fee0092e998ad9912142 chash=b7a94ee473096dd4eeba28ad555c178d918165ff facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/e-darwin/AUTHORS pkg.csize=188 pkg.size=281
file cb628279e8474949e792db5bcfe8b7e2cb80ca85 chash=b003c9b9fe9b03b0a89534b37395c9a6fc8c40bc facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/e-darwin/CHANGES pkg.csize=4315 pkg.size=10319
file 9c2669f1ff66cf50fc1a12797cf9988a0c0df7d5 chash=59634ef8f759d2bce50c7e8ab1c97eab1f326344 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/e-darwin/README pkg.csize=2487 pkg.size=6254
legacy arch=i386 category=develop,application desc="see: pkg info developer/hets/e-darwin" name="Theorem Prover E-Darwin" pkg=LNFe-darwin version=1.4.26092011
depend fmri=pkg:/system/library/math@0.5 type=require
depend fmri=pkg:/system/library@0.5 type=require