set name=pkg.fmri value=pkg://lnf/developer/hets/darwin@1.4.5,5.11-1.2.13.6:20151008T180041Z
set name=pkg.summary value="Theorem Prover Darwin"
set name=pkg.description value="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."
set name=info.classification value=org.opensolaris.category.2008:Development/Hets
set name=info.source-url value=http://combination.cs.uiowa.edu/Darwin/
set name=variant.arch value=i386
file 6e8307e3b989f49b3044e4db67b23641598ad1e6 chash=33c80986f95cc5ded836625980754d0d8e7d37c2 elfarch=i386 elfbits=32 elfhash=db068dcd2008fe8d0fef0010fcad899417bf570b group=bin mode=0755 owner=bin path=local/usr/bin/darwin pkg.csize=623681 pkg.size=1857868
file cd6712bfd925c8fa15c59d05f691abf93e9f011e chash=9690e4df3ed4f458441f7fe59a41cbde0be2609e facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/darwin/AUTHORS pkg.csize=163 pkg.size=243
file bae830f112539839dab2f59085b5bc0bd34596e5 chash=9017799b220e838f960bbcfbc5dfe9f7ec698c08 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/darwin/CHANGES pkg.csize=4829 pkg.size=11880
file eaf7525d2b0ddd8cc8b39f750711c8a8908e8263 chash=73a2d39b47ac7200d7580d082ce4c962b0091db4 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/darwin/README pkg.csize=1467 pkg.size=3421
file aad3cf24f2c165e8dd2c381bcdd20012e5852f76 chash=cd94a4466395689aa84ce8fbf7f906994fada0f9 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/darwin/eval.tar.gz pkg.csize=160296 pkg.size=237760
legacy arch=i386 category=develop,application desc="see: pkg info developer/hets/darwin" name="Theorem Prover Darwin" pkg=LNFdarwin version=1.4.5
depend fmri=pkg:/system/library/math@0.5 type=require
depend fmri=pkg:/system/library@0.5 type=require