set name=pkg.fmri value=pkg://lnf/developer/hets/spass@3.7,5.11-1.2.15.4:20151027T031347Z
set name=pkg.summary value="Theorem Prover SPASS"
set name=pkg.description value="SPASS is an automated theorem prover for first-order logic with equality. So the input for the prover is a first-order formula in our syntax. Running SPASS on such a formula results in the final output SPASS beiseite: Proof found. if the formula is valid, SPASS beiseite: Completion found. if the formula is not valid and because validity in first-order logic is undecidable, SPASS may run forever without producing any final result."
set name=info.classification value=org.opensolaris.category.2008:Development/Hets
set name=info.source-url value=http://www.spass-prover.org/download/index.html
set name=variant.arch value=i386
file 59b65863dd4b3be703d7cca2e917fa28cf0a9c4f chash=1bc01fdef113131025c9d6f9fdede16c1df39564 elfarch=i386 elfbits=64 elfhash=7c5a1a7e9e80e249527a6271d69ab983be59a226 group=bin mode=0755 owner=bin path=local/usr/bin/SPASS pkg.csize=3834427 pkg.size=15972320
file fa42e65326fa8a2901dfe0da166fc887b5cb4c21 chash=2fc628be890e7529d50a6a5dcf593d908d680f47 elfarch=i386 elfbits=64 elfhash=4fc72d2f489680e2f9b8f0619a0a331dcdff1164 group=bin mode=0755 owner=bin path=local/usr/bin/dfg2ascii pkg.csize=1517749 pkg.size=6279408
file c1fe63dccc15e2429a64aacc16a38aff04977985 chash=c6ae0b8d263ca8d25d89a0911c9bccd63f47e76e elfarch=i386 elfbits=64 elfhash=735467d642a98e9054b6ae2d95df4d3ea916545c group=bin mode=0755 owner=bin path=local/usr/bin/dfg2dfg pkg.csize=1605225 pkg.size=6642840
file cb334665a701eba257170a8ce8063d2e20c548da chash=06c77d124187dc65efce220401b4b0cd332cb59a elfarch=i386 elfbits=64 elfhash=81508e0945e66171b67678828ca7a506ec46361e group=bin mode=0755 owner=bin path=local/usr/bin/dfg2otter pkg.csize=1518105 pkg.size=6280640
file 7f1ef4a9e7bf35b321d2f29713ba3f398fea5dbd chash=2eeea2d818cc0e0675fc8557dd3e38c914f34234 group=bin mode=0755 owner=bin path=local/usr/bin/dfg2otter.pl pkg.csize=2152 pkg.size=7374
file 2d90aed8f2b7facd5a26f304620173ae7c3580d5 chash=dfa66e96b3688db79abcb5a20c91aa31160e7446 elfarch=i386 elfbits=64 elfhash=1f5f535695a7eae208a585f18ae3b97c6b1a4040 group=bin mode=0755 owner=bin path=local/usr/bin/dfg2tptp pkg.csize=1523425 pkg.size=6299624
link path=local/usr/bin/spass target=SPASS
file ccb82e3307ba9617445649072a1e81cbf6b2c736 chash=8bf5c48f51cb011fff81ed3532297beae04d5441 elfarch=i386 elfbits=64 elfhash=eccbdfb2a05c1691b2e72730709469e99d0a4cdc group=bin mode=0755 owner=bin path=local/usr/bin/tptp2dfg pkg.csize=1518021 pkg.size=6276928
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/spass
dir facet.doc.html=true group=bin mode=0755 owner=bin path=local/usr/share/doc/spass/html
file 5c51777111f03e231aafb592225ea728e61f8dd6 chash=b5c038fb265b205e41bbe590eee10cc2940628f9 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/spass/html/LICENCE.html pkg.csize=975 pkg.size=1827
file 9f9727fe1de241a38cc87b21c9d6c82c005c0729 chash=1eb486692d74833267f11b618cf54bffc3c8c041 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/spass/html/script.html pkg.csize=1463 pkg.size=5778
file ad8dbd40a0ec32e51ed60ce0aadeb082bc7d83e0 chash=7da311b0f0aaa36d6284640ed972f8a5e81e5382 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/spass/html/script_1.html pkg.csize=8283 pkg.size=31919
file ca7ba9e85b690f9aa50ec5f28a84a65a0da5a157 chash=ddf543d282b5eb35a8f825ee1d90bd4eab8363af facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/spass/html/script_2.html pkg.csize=3661 pkg.size=11451
file 2c08415320f4b0fcd0c1cb7f5d1cd1f8e8893a3e chash=b71f3d9cf63954819c8429a14774fc8794aad69e facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/spass/html/script_3.html pkg.csize=1757 pkg.size=5406
file 4822bb3208212e73c63e73afe780f58d8220fe59 chash=7cb52354ece8d70578a9e48f23bcba3dcdca9e43 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/spass/html/script_4.html pkg.csize=2976 pkg.size=9173
file 63bd81d34b1f0abef7102b7ea8d618ffb3ba6f47 chash=2e015db55012ef04ae476c11bc489a2578e0a70d facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/spass/html/script_5.html pkg.csize=2655 pkg.size=8022
file 8394b9121b0d9fdfe9a880cdd5ce360dbcf7e6e1 chash=538491e31a8ed9d0bfc02e991ba47bd28bad6dcf facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/spass/html/script_6.html pkg.csize=1680 pkg.size=5000
file 54bc6efd9d7f58eacf5ee612e88b1b7eaafd85f3 chash=0084afab033caa7aaa7dabcbffca39172b025aab facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/spass/html/script_7.html pkg.csize=2273 pkg.size=6868
file 45d0a771df99e2be19cfe5d769ba394ea8bf8ed6 chash=45167d403a979a9c3c813677538663ee15cfcd7c facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/spass/html/script_abt.html pkg.csize=1557 pkg.size=5129
file 98f2fa6e6ada9f9e75df733ae2ce2f5bbf299cf2 chash=3f70d5b6ab58206154a29af0681dfc09f393cd3c facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/spass/html/script_ovr.html pkg.csize=1350 pkg.size=3829
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/spass/pdf
file 630e54acb4af3a4201d68c8d69c77fb4b7d22e8b chash=a7b7f4e825c64c7ab0b2a39399a453f8d32cbaf4 facet.doc.pdf=true group=bin mode=0444 owner=bin path=local/usr/share/doc/spass/pdf/handbook-spass.pdf pkg.csize=343985 pkg.size=567186
file 83874240b75f5672fd2a1b2306928c82ae035ed8 chash=faae2aa11a7244f012a0837e9d5df58c5726752d facet.doc.pdf=true group=bin mode=0444 owner=bin path=local/usr/share/doc/spass/pdf/spass-input-syntax.pdf pkg.csize=97408 pkg.size=204814
file a9bd3efead04ad71b4c6e15189f1b0e4486f47f1 chash=445c4d36042befe5a5764432ef968461960c8255 facet.doc.pdf=true group=bin mode=0444 owner=bin path=local/usr/share/doc/spass/pdf/tutorial.pdf pkg.csize=21530 pkg.size=25575
file 1d2428ea7b1c44fcd63c589ab9e59fcf5c28e6fc chash=e628a949ae3d803304163a412bcb9bbd58cefaf5 facet.doc.info=true group=bin mode=0444 owner=bin path=local/usr/share/info/spass.info.gz pkg.csize=9880 pkg.size=9857 restart_fmri=svc:/application/texinfo-update2:default
file ee6c9fd0fc3b6787ccd9c12f0cec0375e9e5f787 chash=db28e3d2af1a9062b49f5f35f27ba2fee3b2ad2b facet.doc.man=true group=bin mode=0444 owner=bin path=local/usr/share/man/man1/SPASS.1 pkg.csize=6954 pkg.size=24019 restart_fmri=svc:/application/man-index:default
file 68ae7e50901d28d49c37a6933e9956f98bbb2983 chash=f4a7c76c13f39ab48626fa177ae90197ed2f04e8 facet.doc.man=true group=bin mode=0444 owner=bin path=local/usr/share/man/man1/dfg2ascii.1 pkg.csize=471 pkg.size=762 restart_fmri=svc:/application/man-index:default
file 155c3bb684db5b04c46460156ca1df6602efef5e chash=e45eb1e71ee9ce90fff6b120dcb548a52d79ad3e facet.doc.man=true group=bin mode=0444 owner=bin path=local/usr/share/man/man1/dfg2dfg.1 pkg.csize=1226 pkg.size=2906 restart_fmri=svc:/application/man-index:default
file f965421cd47504a9b2e9301a7e8fb3bfb62cd932 chash=1faca76d1bb13444ac0be062fffde9f3c6558600 facet.doc.man=true group=bin mode=0444 owner=bin path=local/usr/share/man/man1/dfg2otter.1 pkg.csize=616 pkg.size=1124 restart_fmri=svc:/application/man-index:default
file 7684f5a1d5dab6512e215209c1af592de3ab9792 chash=7de02e2bca127f3021653b1d272df1e6dc455b54 facet.doc.man=true group=bin mode=0444 owner=bin path=local/usr/share/man/man1/dfg2otter.pl.1 pkg.csize=621 pkg.size=1149 restart_fmri=svc:/application/man-index:default
file 71faa1f495c760360a285f506229d16bd005e94d chash=4d77e33297784fdbe5a968e7e192e100f1091067 facet.doc.man=true group=bin mode=0444 owner=bin path=local/usr/share/man/man1/dfg2tptp.1 pkg.csize=563 pkg.size=1011 restart_fmri=svc:/application/man-index:default
link facet.doc.man=true path=local/usr/share/man/man1/spass.1 target=SPASS.1
file 211002afde45e0651a152fabb1a40e1e9bcc6978 chash=6b3689f66b6d4649a93a01dd40c0186f918a0021 facet.doc.man=true group=bin mode=0444 owner=bin path=local/usr/share/man/man1/tptp2dfg.1 pkg.csize=681 pkg.size=1291 restart_fmri=svc:/application/man-index:default
legacy arch=i386 category=develop,application desc="see: pkg info developer/hets/spass" name="Theorem Prover SPASS" pkg=LNFspass version=3.7
license f1a700c265c353d99bca3a9f533ba1cb6c2f396c chash=d1cc6b69c2508e64ebfb3b4ce3c35a5072908d7a license=LNFspass.copyright pkg.csize=93 pkg.size=79
depend fmri=pkg:/system/library/math@0.5 type=require
depend fmri=pkg:/system/library@0.5 type=require