set name=pkg.fmri value=pkg://lnf/developer/hets/eprover@2.0,5.11-1.3.22.3:20170901T191344Z
set name=pkg.summary value="Theorem Prover E"
set name=pkg.description value="E is a theorem prover for full first-order logic with equality. It accepts a problem specification, typically consisting of a number of first-order clauses or formulas, and a conjecture, again either in clausal or full first-order form. The system will then try to find a formal proof for the conjecture, assuming the axioms. If a proof is found, the system can provide a detailed list of proof steps that can be individually verified. If the conjecture is existential (i.e. it is of the form 'there exists an X with property P'), the latest versions can also provide possible answers (values for X)."
set name=info.classification value=org.opensolaris.category.2008:Development/Hets
set name=info.source-url value=http://www.eprover.org/
set name=variant.arch value=i386
file 7e92a79979f78dfdd85650a61fe103ea02b1fae3 chash=994fc89903108a75c8d4af8af9b995e85c4570b9 elfarch=i386 elfbits=64 elfhash=3f803881865a8d666a8b211d69466b29abf030b4 group=bin mode=0755 owner=bin path=local/usr/bin/checkproof pkg.csize=780972 pkg.size=2532704
file 06bf3bdd8381b4ba9c4607ea96dcc4043b65355f chash=76939f5080e65f446fe2e3b371f57620338927ac elfarch=i386 elfbits=64 elfhash=396d4a7b765dd47c708172f9536b08c204029f8a group=bin mode=0755 owner=bin path=local/usr/bin/e_axfilter pkg.csize=936139 pkg.size=3007656
file ddefab7e43b0d9b67a39c25d0505ff839a0787bb chash=9a99381dfbf19166cdc1d5cdb84159179a618358 elfarch=i386 elfbits=64 elfhash=19a848be28d2880f66ba358931a5a974a748fc55 group=bin mode=0755 owner=bin path=local/usr/bin/e_deduction_server pkg.csize=948384 pkg.size=3050432
file 64b52073203d5f0aa1d41453983f8632be208dd2 chash=1ff3ce7c22f16326ee1c690b72a720674b915c37 elfarch=i386 elfbits=64 elfhash=49284b1075f33dfa2201e0137dd878ab6a8d1856 group=bin mode=0755 owner=bin path=local/usr/bin/e_ltb_runner pkg.csize=923640 pkg.size=2974664
file 72f6031ee469f0a2f384ed0f59dcae562906b38f chash=72f91285d842dff0a52c7c7877e50253f75b569e elfarch=i386 elfbits=64 elfhash=34afa121dc9a16a687a41398af1573266e412e61 group=bin mode=0755 owner=bin path=local/usr/bin/eground pkg.csize=948776 pkg.size=3055512
file 2c88abe2fea69aa6a027b82096ca07a88a179a14 chash=7a0aaee1305dd8213b430af834655c916ec59afb elfarch=i386 elfbits=64 elfhash=7ee77ebefb4088d986ea99b6c430065f32d35a09 group=bin mode=0755 owner=bin path=local/usr/bin/ekb_create pkg.csize=92769 pkg.size=261824
file 510315c7efe8a71b6e85fd5e4bde3e79e00e640f chash=462cf06c0aa323375391d6178e263a3df33c67e7 elfarch=i386 elfbits=64 elfhash=a06aedef13d203c7d5306734214fe8265b102fc4 group=bin mode=0755 owner=bin path=local/usr/bin/ekb_delete pkg.csize=794355 pkg.size=2575320
file 91ca94caf6e0fb7b10d18f8b0baa4646bf16416f chash=e0676fe3232c5c985112f9c3417d71175a0cf0a8 elfarch=i386 elfbits=64 elfhash=d46f382c99cdc48c73fcf75fb48ef374b19b4879 group=bin mode=0755 owner=bin path=local/usr/bin/ekb_ginsert pkg.csize=873353 pkg.size=2816904
file faf55f21869e5491ec2b0e8890d08a0f7088da97 chash=c0abf324d0418e2fe73e55118225ba75998bddbf elfarch=i386 elfbits=64 elfhash=87fabd4e1afa3847463d0279640598f473a4235c group=bin mode=0755 owner=bin path=local/usr/bin/ekb_insert pkg.csize=802417 pkg.size=2595056
file 019d38d65389fbb390b201aca7e19c0533d51923 chash=5e66ddf3fe1ba42cf1b1611844405f2cbad4bd32 elfarch=i386 elfbits=64 elfhash=2ad635f3bf019c66234af73e0960bc236f4b19de group=bin mode=0755 owner=bin path=local/usr/bin/epclextract pkg.csize=623027 pkg.size=2029232
file 9786a58812cf2cc224cc1df6ea98ce3247fc5be2 chash=11bf5cafef14a1ffeb2b598a1dbe0fe36b08746d group=bin mode=0755 owner=bin path=local/usr/bin/eproof pkg.csize=3298 pkg.size=7577
link path=local/usr/bin/eproof_ram target=eproof
file d6971738614e69a57ae5696bf68d34c4398224ce chash=89ffb327b1d77f594b3b109195090975c6461fbb elfarch=i386 elfbits=64 elfhash=288b65e23c86f2fedfd0540be3bb9a7931ecda20 group=bin mode=0755 owner=bin path=local/usr/bin/eprover pkg.csize=1959676 pkg.size=9216784
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/eprover
file d812a46b44e17666423f96899d267a3e501c034d chash=416f2755675f74708d6cd3a7948517fd71fd01a0 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/CONTRIBUTORS pkg.csize=481 pkg.size=796
file 182a8068ca50a5fb9370c4ba52bfbac147d2eeec chash=1887c3e1f4c7b81b88083fca46e3a38057be8678 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/CSSCPA.doc pkg.csize=231 pkg.size=448
file 806b54e1bd12d01ace131d9bbd991a0fb04f19cb chash=0db56d150c033d1d7b3b9f927113c15c583a0ea0 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/DONE pkg.csize=2558 pkg.size=5365
file 0e760a311a729160cc7b018b0da257f341b0c49c chash=f8d2d4e510b4c07935326a6000e215631b5de0cf facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/E-REMARKS pkg.csize=1668 pkg.size=3931
file 45b7a67e5810377ae14b0a28dccb88386cf58500 chash=27bd4312e67e52bfbfad86b3b2d33475a55d1964 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/E-REMARKS.english pkg.csize=607 pkg.size=1204
file fb8581a4fba67c0ca24a8a48cdd0135ae2604d40 chash=2dac069baffe3a2a52945d7ba2c7ef8d6e8207be facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/README pkg.csize=176 pkg.size=266
file cdda61467aaa32d097f335b777fd18a9af0e619f chash=49958f6025761f928939b865dfe3154d25c903bf facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/SMOKETEST/ALL_RULES.p pkg.csize=797 pkg.size=1671
file 284b38a282721365dc02c7f7d62c91abe865bc58 chash=9a4e2e87ef1f791a9af883e1ee0a1c23f1d2c460 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/SMOKETEST/BOO020-1.p pkg.csize=824 pkg.size=2084
file 03ab5409c91ea2bb156ad4543a51b38f150a8f27 chash=9e359ee407f96a620779248a9513051f64caf680 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/SMOKETEST/CNFTest.p pkg.csize=72 pkg.size=60
file 985aa6c8f7f90a96164b2b9dcb5de10c7233b1d5 chash=1d340908d51a11e8ba444f7a7ce906feefc6a81b facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/SMOKETEST/GROUP1st.p pkg.csize=420 pkg.size=821
file 3985efcc99908ba7fc513ea149e2232de968330d chash=7a4df93347ebb150a242f092879f3eed325230dc facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/SMOKETEST/LUSK3.p pkg.csize=610 pkg.size=1728
file be17f194945abab579be431d09d5b43ce8774196 chash=1cc01d11301b91e6c440fd27cb4af944d6b5607d facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/SMOKETEST/LUSK6.lop pkg.csize=416 pkg.size=1181
file 66fd9f260e8ef7b0aca635bdee691657ec136739 chash=86a12361911602a3391fddde1e9dc192bd2656f0 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/SMOKETEST/LUSK6ext.lop pkg.csize=434 pkg.size=1210
file 88143f25d0660a1d50e8f864c28f32d803b7d2e6 chash=ecd4930df6124d556e8cf6a0f2e4f3fb569f804b facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/SMOKETEST/ans_test06.p pkg.csize=144 pkg.size=219
file 8c910b0d28703239075bc4abecdfad4047b9eb1f chash=8a07566696238a76a1ecff0f20975ea3d5ed9086 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/SMOKETEST/socrates.p pkg.csize=115 pkg.size=158
file eacb8cac973925eff6aae0936d0af7b44b986398 chash=25c6731bf1a90ff3ed7d57e5feaedf240928c1b5 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/SMOKETEST/tffex01.p pkg.csize=1382 pkg.size=9042
file da0a6ccb5e4e0caab7bce598be47d9b12fcfb622 chash=44b22b27c403ba09b6767abd3430b88c5ebf271d facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/TPTP/Axioms/BOO002-0.ax pkg.csize=866 pkg.size=3399
file 75819ea022c42e681d682a08ab7e1977b5629468 chash=19898f89b9418785d4fcfe7ebccba78aed9caa0e facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/TPTP/Axioms/BOO003-0.ax pkg.csize=614 pkg.size=2095
file 2f6f3e606bb2666bd83002c9817de1de5f99facf chash=23eec2b8d0c8be7c90b5a9b4996b4d472f1120d5 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/TPTP/Axioms/BOO004-0.ax pkg.csize=570 pkg.size=1633
file 5ac9ac337da63a82992e277beb305637d0f2e544 chash=b852fc52364aab0f05d081fcec4a872cc5dcd106 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/TPTP/Axioms/CSR002+1.ax pkg.csize=20076 pkg.size=132764
file 6442a51de8b49582669e4a946f0bf46c695cb9b6 chash=09aa2e8175ff9a989d4e264f03ff31a53b010f23 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/TPTP/Axioms/GRP004-0.ax pkg.csize=766 pkg.size=1842
file c506410385bf7b5b28d1bfb82dab08bcb977a107 chash=71906d7a013173e0efa958a9be239dfb155572b6 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/TPTP/Axioms/HEN001-0.ax pkg.csize=786 pkg.size=2062
file df483277391325597d77131a6b8ca22851e3f30c chash=eaead3e43f2ad128af9f625c2992df0973f5f0d1 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/TPTP/Axioms/MGT001+0.ax pkg.csize=1030 pkg.size=3448
file 4c411185aaa994f57af1dbd8fd6bbcb0a297efd3 chash=6f70ff9d6eb3bc06bc528fb852bbde51c7898d0f facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/TPTP/Axioms/MSC001-0.ax pkg.csize=10906 pkg.size=182069
file c34ff74fc695081ce077f26c1c8b9697c4331379 chash=fc4da222725677ff30ccbc95cd26f7c489d672fe facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/TPTP/Axioms/MSC001-2.ax pkg.csize=4014 pkg.size=31035
file d1e1894b00915bdf811ce32762529af83408bff1 chash=80a8fb1c3a2509358fa6117f88739996c2cb0a1b facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/TPTP/Axioms/SET004-0.ax pkg.csize=4095 pkg.size=18895
file 7cb79ce335646379584bd6fb7f10f28a40dbcba2 chash=5cdf607c9dead5c588fb6bfc7ba47af69da8ee6c facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/TPTP/Axioms/SWB001+0.ax pkg.csize=10028 pkg.size=103723
file 745d6426eb0c3ebbc698bd1a6f42d207657b4878 chash=ec5c065d6b868bb20d701139b694a4ce1d37a4bf facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/TPTP/Axioms/SWB002+0.ax pkg.csize=3429 pkg.size=23006
file d3ab1b24f34df10addc46edb3767a23daa1f1ff3 chash=96d79c26d54618c17df400761a58da7779bafb2c facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/TPTP/Axioms/SWC001-0.ax pkg.csize=2668 pkg.size=18464
file ee96c678067e30e34c7e010d65e2bca2f24c4c36 chash=ae1424f452b636df9b6f40607dc81a4279ce82df facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/TPTP/Axioms/SYN001-0.ax pkg.csize=5205 pkg.size=26885
file 11d556d54b11715dcd12891d2f242aaca0b487f7 chash=1f73692b861c7d603475454f7a0ab7cc3296eb9a facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/TPTP/BOO006-1.p pkg.csize=747 pkg.size=1728
file 763e393d77c457765e52674ae13c8bef9d35d985 chash=03312bed3d28fe815f0d0e0628974515a150ed75 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/TPTP/BOO010-2.p pkg.csize=623 pkg.size=1429
file bd3ebae99e6b8ebec3eea7f33c4c9fcf74603145 chash=69fddcbab4c9ebe4c9c8c89c8e8cee4acefed486 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/TPTP/CAT004-4.p pkg.csize=852 pkg.size=2135
file 97c8af40bbd981603ad7183300c0b99bd04f71e2 chash=70a9f632b22360956d68f7c1d52bcd5ca91d165e facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/TPTP/COL042-8.p pkg.csize=875 pkg.size=2133
file ddd6ff08d53c2f0dc48046ca28c867cbdff20cde chash=356461e4ad19b7db78c5721d015d05d14d83d3aa facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/TPTP/CSR036+2.p pkg.csize=1038 pkg.size=2616
file 1f27b47eab9ab5a524b79d74fbc282565ed275e8 chash=fb488d98d508ff6eb0062f5bca0afa1fea4109d3 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/TPTP/GEO288+1.p pkg.csize=12128 pkg.size=138358
file e924b09cce9bfb5cc99f46da790caf7efa316514 chash=5f71b31d3c122eb7b8e45b558c8149ca0154ed77 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/TPTP/GRP237-1.p pkg.csize=1062 pkg.size=5893
file 8d73d1aa5feeb74a521cd768967e39482f2719fe chash=cf5161bb7ff962ae59f9778b00cf300e7a9d9ca7 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/TPTP/HEN011-2.p pkg.csize=1145 pkg.size=3406
file 8fe5e60f254fd90f150af1bdbc48ca74516b73ec chash=f12a729185a319d8b5619bbb89b2ab8d353e9286 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/TPTP/LCL365-1.p pkg.csize=835 pkg.size=2070
file f0a11fa8784e4a3982ea005c59e3bb30c8e8b40f chash=563d2da4d7e41d5b66d47710049fe444bf14ac5c facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/TPTP/MGT063+1.p pkg.csize=2083 pkg.size=7015
file c71b8cbd93152a97f46303c52e037ecc04e5d506 chash=9b40f16e082b409b3f2c8104a3fd47946a1ce5ce facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/TPTP/PLA012-1.p pkg.csize=797 pkg.size=1830
file 8139b853d6f880266ef7691dac92b2f17e65bb95 chash=85c0fd5d1f099e56dc3a02fb3ef5de7962e1f513 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/TPTP/PUZ028-6.p pkg.csize=942 pkg.size=3701
file b6dc4bbff12f5b7c939d4f1e8f9683b6b4ca1493 chash=81d5951b56d5ce0bef37297159e2134845412f15 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/TPTP/SET183-6.p pkg.csize=1050 pkg.size=2517
file dfc965bd015dd9abbe11fdbbfc689b02262278fa chash=fb427b95d6ebc93a8fa87d72085db459750b54c7 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/TPTP/SET844-1.p pkg.csize=1045 pkg.size=3239
file 3a4734f96e3fffe2862905dc3badf5528775d032 chash=098571d8d0fca3ce2c6b7269a1e9f50a1dbc4f79 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/TPTP/SEU027+1.p pkg.csize=1555 pkg.size=6755
file 133badd4f1f9b0f888f305b0e9538f33333e3450 chash=0df920aff58f5dee1a3edf68c643c865c75482ba facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/TPTP/SWB008+1.p pkg.csize=802 pkg.size=2066
file deceffb67219c6ba720fd7787ed1ac481ce2ba0e chash=8bd1e58445e5bf7567f5ee74a38ed2f4404c06f9 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/TPTP/SWB030+3.p pkg.csize=768 pkg.size=1855
file dc2ab1728d6325d2b16cf873eace4c08f1ad0966 chash=0a548d18092ff6eb9eeed801972b1b99cb05ff1d facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/TPTP/SWC078-1.p pkg.csize=990 pkg.size=2837
file 734669bbf757b7b814720af1ce9a457552883c84 chash=4316aff5a577cb3d157b4025ed3eed73e204129f facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/TPTP/SWV851-1.p pkg.csize=14382 pkg.size=154316
file 8a748fa21ab9bb22e0e6215ce9548d12396ec6e9 chash=0971e2b10d9ee1b9cc27888e0c6d309effcd769a facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/TPTP/SWW194+1.p pkg.csize=26825 pkg.size=354848
file 6d10db3e94e09d99144a7f16eea4e1f9806d3caa chash=1009235e0fa321be8de7e830a9e78746d275973a facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/EXAMPLE_PROBLEMS/TPTP/SYN190-1.p pkg.csize=650 pkg.size=1416
file a4c1b2c4153ca4b81b1b21e84e446200d48f673c chash=55de83c670a31dce24d143e96ebb7f2dbf2e3b16 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/E_package_desc pkg.csize=544 pkg.size=1022
file d94c2a1415351f0fff24128ff4ac0f2e171251b9 chash=cc7bb16bb69d2025ca630424a95f76b4b021b512 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/NEWS pkg.csize=11617 pkg.size=29659
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/eprover/PYTHON
file 0e3d99cf303709bdaff37c350565ee720a029266 chash=512bec7f6534600bb2039c6e17694292ee8846f4 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/PYTHON/e_tptp_expander.py pkg.csize=881 pkg.size=3016
file e2025c2845da57ce29e4af9e4086dc4a6f869eda chash=7ff761af28e118409bbcf72be53ba25f6ff99505 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/PYTHON/enetcat.py pkg.csize=1161 pkg.size=3286
file 7b7316e9d12ac5fd0413fa1809d133ff0f4eba39 chash=2137cf621774f0dcc354b94fdf21903723d79727 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/README pkg.csize=3647 pkg.size=8160
file b0aa02c7dae2e54c002a334e8f05c441f52df122 chash=d76a4eddd53766f1f1cc54b566fc49541da67c4a facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/README.server pkg.csize=1141 pkg.size=2654
file ec5c5a43e7bd912aca8cb5f610ac1e2e0963b294 chash=87165ba37aa5bdf1558f4b02cead49e4fd713259 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/ReadMe pkg.csize=609 pkg.size=1424
file 2b97267e441bf8fd85dac65baff18382dbeced5a chash=48d1408acf732e4ae017047c43906a6cbccf3c3a facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/THINKME pkg.csize=362 pkg.size=658
file bcb442054a09f81dfa828521f4ecbc984fb31d62 chash=1466fb495d98183a39259677bf1c595f732e7825 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/TODO pkg.csize=5115 pkg.size=11261
file 13a1365115ef7cf2405290abd04fec614bc70b1f chash=d02830047acaa544e21fa0b230c4bac4d9298b57 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/TPTP_SUBMISSION pkg.csize=986 pkg.size=2460
file b9e4d7214a7f1259375a911bf7188dc41870e585 chash=c5cfb47e1e536a6b27724272141adb132c805f17 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/TSTP_Syntax.txt pkg.csize=3256 pkg.size=10336
file fcee2344a22c90190513478ee155366707770608 chash=1abdacb3c6dab9673da0cdb0cad1a272fc38a3b4 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/e-plop-grammar.txt pkg.csize=767 pkg.size=2223
file ccfc19611d79bb133e1f4a91fd2fa89ba6c21294 chash=f67cb291effa414775fcf81ba0480ccb5676ebd8 facet.doc.pdf=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/eprover.pdf pkg.csize=436371 pkg.size=442176
file ddbcbb841a8fe93cc93e810b2b4eac3c37d6072c chash=c0ff7319e7383f906b43e7ee048e9b887c72433d facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/grammar.txt pkg.csize=736 pkg.size=2425
file 51c4abacea391717004b024b5be83fceec55e4bf chash=f6177e34144eca8fdc3a3e646557bc8771f48678 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/hard_problems pkg.csize=891 pkg.size=3009
file d709fafaccc135993e94208eb4a55dc2d9486503 chash=65aa957e4c3f5a56d63dd7f3f02c2c9dad99dfe3 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/eprover/pcl2.spec pkg.csize=464 pkg.size=1038
file 37b7e0068e40a66835af436a7261f83391ac5298 chash=3e5b2705c93aaaf4ada3f53d549936fa265d9d7a facet.doc.man=true group=bin mode=0444 owner=bin path=local/usr/share/man/man1/checkproof.1 pkg.csize=1882 pkg.size=3991 restart_fmri=svc:/application/man-index:default
file fca2f6b5231d9086552502e196e56990319f4624 chash=d642783d9e635bd6d60496f38b95fd61146c417d facet.doc.man=true group=bin mode=0444 owner=bin path=local/usr/share/man/man1/e_axfilter.1 pkg.csize=2432 pkg.size=6124 restart_fmri=svc:/application/man-index:default
file fcfb29821496b4c04326ba0693e347d14581ec16 chash=6a3024b2041301aa497dd62a22ea01dbdd0f5b82 facet.doc.man=true group=bin mode=0444 owner=bin path=local/usr/share/man/man1/e_deduction_server.1 pkg.csize=1189 pkg.size=2384 restart_fmri=svc:/application/man-index:default
file 787421e4ef43e754dc3dd1f928dde1a44e93cb37 chash=1f9f5817a1d3161c499b517c00ff82911e624cd2 facet.doc.man=true group=bin mode=0444 owner=bin path=local/usr/share/man/man1/e_ltb_runner.1 pkg.csize=1452 pkg.size=3029 restart_fmri=svc:/application/man-index:default
file 7b38ba7a39b8971d8315284391e0aa177a119b9f chash=da96ee2d595356c11f42c61d1a7927d2575400ca facet.doc.man=true group=bin mode=0444 owner=bin path=local/usr/share/man/man1/eground.1 pkg.csize=3309 pkg.size=8656 restart_fmri=svc:/application/man-index:default
file eefb6cdcc4772b759ed9d6021b2f7e3433812294 chash=75009400782d61763ac5ad540d1a05d2f622b0bb facet.doc.man=true group=bin mode=0444 owner=bin path=local/usr/share/man/man1/ekb_create.1 pkg.csize=964 pkg.size=1958 restart_fmri=svc:/application/man-index:default
file 0c7188a8707f8a3d10e835111be79b2d8a272573 chash=5eb5e485e6e7ae9d77d81d03c8e3ac6f62fead11 facet.doc.man=true group=bin mode=0444 owner=bin path=local/usr/share/man/man1/ekb_delete.1 pkg.csize=900 pkg.size=1683 restart_fmri=svc:/application/man-index:default
file c53a9dc2a12be1b8d7944c9b60c2c1e32fa37a1d chash=6b4bbecb5a410ebb9c32b7db7a421be94ff5c7e7 facet.doc.man=true group=bin mode=0444 owner=bin path=local/usr/share/man/man1/ekb_ginsert.1 pkg.csize=1054 pkg.size=2025 restart_fmri=svc:/application/man-index:default
file 90c275a1df726f8aad35c84e5d83e6e5c06cf7f7 chash=1bf6a842d9d92ff6d652bbd6cf4e08ec78090424 facet.doc.man=true group=bin mode=0444 owner=bin path=local/usr/share/man/man1/ekb_insert.1 pkg.csize=1066 pkg.size=2070 restart_fmri=svc:/application/man-index:default
file e70714c482fbafb46a02d2b06194885a000c0255 chash=9c6ec7d0ffca12be320980a2fc8b2cdbcb01a86b facet.doc.man=true group=bin mode=0444 owner=bin path=local/usr/share/man/man1/epclextract.1 pkg.csize=1294 pkg.size=2675 restart_fmri=svc:/application/man-index:default
file ae6aca4a67881c53ee248693f857803658aa7c0c chash=ec04bb1fce3c6487bd7eb71d6167150c0a804371 facet.doc.man=true group=bin mode=0444 owner=bin path=local/usr/share/man/man1/eproof.1 pkg.csize=1608 pkg.size=3563 restart_fmri=svc:/application/man-index:default
file 387de1e6f61bdb7ff2592417bc49c61c275b956c chash=a8546dd7900e30a3818b66ed3b6e8784cad3caca facet.doc.man=true group=bin mode=0444 owner=bin path=local/usr/share/man/man1/eproof_ram.1 pkg.csize=1407 pkg.size=3126 restart_fmri=svc:/application/man-index:default
file 1d79a7676ca9720f324ca6340d94e04b4bf3d80b chash=38f7bc65b05dc2db3c3987dff6224a03a9480c53 facet.doc.man=true group=bin mode=0444 owner=bin path=local/usr/share/man/man1/eprover.1 pkg.csize=12110 pkg.size=39400 restart_fmri=svc:/application/man-index:default
legacy arch=i386 category=develop,application desc="see: pkg info developer/hets/eprover" name="Theorem Prover E" pkg=LNFeprover version=2.0
depend fmri=pkg:/shell/ksh93@93.21 type=require
depend fmri=pkg:/system/library/math@0.5 type=require
depend fmri=pkg:/system/library@0.5 type=require