set name=pkg.fmri value=pkg://lnf/developer/hets/ekrhyper@1.4.21022014,5.11-1.2.13.6:20151011T215230Z
set name=pkg.summary value="Theorem Prover and model generator E-KRHyper"
set name=pkg.description value="E-KRHyper is a model generator and theorem prover for first-order logic with equality. It is an extended version of Christoph Wernhard's KRHyper system and implements the new E-Hyper tableaux calculus."
set name=info.classification value=org.opensolaris.category.2008:Development/Hets
set name=info.source-url value=http://userpages.uni-koblenz.de/~bpelzer/ekrhyper/
set name=variant.arch value=i386
link path=local/usr/bin/ekrh target=../lib/ekrhyper/casc/ekrh
link path=local/usr/bin/ekrhyper target=../lib/ekrhyper/casc/ekrhyper
dir group=bin mode=0755 owner=bin path=local/usr/lib/ekrhyper
dir group=bin mode=0755 owner=bin path=local/usr/lib/ekrhyper/casc
file 721cb86fb8101a90423ab6d5b06af77c356ff3cc chash=99f9b572d543630ec8134f3a2ded786630e81621 group=bin mode=0755 owner=bin path=local/usr/lib/ekrhyper/casc/config.tme pkg.csize=246 pkg.size=338
file 19d299d56181cda0e43dd0f7b9eb26901a93432d chash=325cf7456913ce3748a9c403553f2580bc11d2dd group=bin mode=0755 owner=bin path=local/usr/lib/ekrhyper/casc/config_ltb.tme pkg.csize=537 pkg.size=985
file 8c4376b87ef3294753254912321dfcdbb4a2a11d chash=b96d86f98714a38554c9befa70d6350d3d45126f group=bin mode=0755 owner=bin path=local/usr/lib/ekrhyper/casc/config_ltb_debug.tme pkg.csize=551 pkg.size=1019
file 4198ed8a97a29844ff0d9acf7da001f4273c1022 chash=9f77876d49a2af3c225ef657d67c9888b405ae4e elfarch=i386 elfbits=32 elfhash=14b187287703b50978320e0f746b99939f9683b8 group=bin mode=0755 owner=bin path=local/usr/lib/ekrhyper/casc/ekrh pkg.csize=828169 pkg.size=2478776
file 62d54d807e49e197ede4407254054ef9f560bf12 chash=abc5ff90b7bf6fde7165a001b1ec17a3f8a7d895 group=bin mode=0755 owner=bin path=local/usr/lib/ekrhyper/casc/ekrhyper pkg.csize=303 pkg.size=560
file 7566952757ae3f3b3af126ab5571ef69d508da2a chash=caaacc5da91cff7eece396053d6f7dc17fbb2c8d group=bin mode=0755 owner=bin path=local/usr/lib/ekrhyper/casc/ekrhyper_ltb.pl pkg.csize=4035 pkg.size=12179
file bc86d89c2e60496b16ff66db593783b5903d223f chash=6ecf89426076b1b0a4880760a65b2c7be404208b group=bin mode=0755 owner=bin path=local/usr/lib/ekrhyper/casc/run.tme pkg.csize=76 pkg.size=57
dir group=bin mode=0755 owner=bin path=local/usr/lib/ekrhyper/contrib
dir group=bin mode=0755 owner=bin path=local/usr/lib/ekrhyper/contrib/pl
file 52b0859e0fa71240928408bff59bd54b9ff0a657 chash=ea25e90d5e17f1694d1497d9592ac8bc7c2ac896 group=bin mode=0644 owner=bin path=local/usr/lib/ekrhyper/contrib/pl/dotgraph.pl pkg.csize=2780 pkg.size=9472
dir group=bin mode=0755 owner=bin path=local/usr/lib/ekrhyper/contrib/pl/swilib
file 5d0e5da29d9a7eead011f7077b5243f154c53bde chash=07d2992074f426d194c25cfca916313245fa3b2f group=bin mode=0644 owner=bin path=local/usr/lib/ekrhyper/contrib/pl/swilib/err.pl pkg.csize=719 pkg.size=1455
file 3e8f3fff18216ee2bbdc95483da8957e814a4b0d chash=c6433123dcacf01f5efb4726a842c9e610a014e4 group=bin mode=0644 owner=bin path=local/usr/lib/ekrhyper/contrib/pl/swilib/fromonto.pl pkg.csize=787 pkg.size=2560
file 2758de99f3f1eaea1676893ce290a7f6920bcc68 chash=5bc0801c139019c3321a63ddcc816f7d945c6060 group=bin mode=0644 owner=bin path=local/usr/lib/ekrhyper/contrib/pl/swilib/graphs.pl pkg.csize=2770 pkg.size=9499
file 1de7280693d6660ecbfa9867cb4521fc04ecffb9 chash=346e3c338dac42bb260e831d60cab10e317cde49 group=bin mode=0644 owner=bin path=local/usr/lib/ekrhyper/contrib/pl/swilib/onto_atom.pl pkg.csize=916 pkg.size=2062
file 876adc95aa1302918b47995b7e0b26863c8d2fe9 chash=cece70dcd4ea90324b30808aee432774792eb9d1 group=bin mode=0644 owner=bin path=local/usr/lib/ekrhyper/contrib/pl/swilib/pretty.pl pkg.csize=2113 pkg.size=6906
file cf9ae7b9c980524f4ab00a8095144dfb790cca15 chash=7f8cbd6cb23e077f1f7d653d94e286448b5102f1 group=bin mode=0644 owner=bin path=local/usr/lib/ekrhyper/contrib/pl/swilib/term_handling.pl pkg.csize=1466 pkg.size=4071
file c275eb5d388b9614221f6e072413f97567e7b320 chash=707a7300df51311b9f018ce92c1f85f96f3039c6 group=bin mode=0644 owner=bin path=local/usr/lib/ekrhyper/contrib/readme.txt pkg.csize=107 pkg.size=107
dir group=bin mode=0755 owner=bin path=local/usr/lib/ekrhyper/scripts
file a040bfec0d9fd1939c9bb6b38722b2bb1ddaba38 chash=bb1ac49548e95d1ca45b9d02018720f80885a06b group=bin mode=0755 owner=bin path=local/usr/lib/ekrhyper/scripts/canfilter.pl pkg.csize=618 pkg.size=1129
file b62a308631960db2596b6089a51e832fd0ae4a61 chash=051bbbff74eb0bbe9c4a8ba3ad07c28121b18bda group=bin mode=0755 owner=bin path=local/usr/lib/ekrhyper/scripts/canonicalize.pl pkg.csize=527 pkg.size=972
file 1f0a11e0c5d7c0e4149dad2fc72192c70aa1361a chash=1ae3dbc0d231567061e5d3da4da327082a7a401a group=bin mode=0755 owner=bin path=local/usr/lib/ekrhyper/scripts/naf.pl pkg.csize=3055 pkg.size=11160
file 47bfcf4f5dfdd7f5edbdc515d3bb1fdcc299d29d chash=34f2fa3140961a7b245e5e47b118ca3fe31fb846 group=bin mode=0755 owner=bin path=local/usr/lib/ekrhyper/scripts/post_szs.pl pkg.csize=1134 pkg.size=3687
file 34e83da94b693a49a83d23cb4c54af7a4233b715 chash=9fbe8ca72e981834ef48d4f3e495849ba3212f53 group=bin mode=0755 owner=bin path=local/usr/lib/ekrhyper/scripts/pp.pl pkg.csize=326 pkg.size=637
file 19b1737c5ae5ba24fa0b71e9497d701612565015 chash=b05efb01b00e694078b78e27227dbc7381d885e7 group=bin mode=0755 owner=bin path=local/usr/lib/ekrhyper/scripts/pre.pl pkg.csize=942 pkg.size=2545
file 3db969b9d301ec8717064fe0efbe7daeea82566e chash=dc9b47276fd58380030998230c8acd90ea2ba6fa group=bin mode=0755 owner=bin path=local/usr/lib/ekrhyper/scripts/proofs_to_dot.pl pkg.csize=2075 pkg.size=5909
file 0cd2a2698bc94dd4449b40a4b0199537413ea04d chash=2114d0192fd7772f6f96f9153f6d3adbfe1cdf8e group=bin mode=0755 owner=bin path=local/usr/lib/ekrhyper/scripts/rrtrafo.pl pkg.csize=2401 pkg.size=8953
file 0c3d9ee9bec504fc45ac066061c39ed29acb11e4 chash=8e2b9e2cf9a163effa68c72f615447cac6781095 group=bin mode=0755 owner=bin path=local/usr/lib/ekrhyper/scripts/script_support.pl pkg.csize=878 pkg.size=2396
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/ekrhyper
file c1de048cc1f8488c68aa0263363aa0e6e742d1a3 chash=e57f4cd3d26ee6c186b2a6b6021ac21b3f9f5acf facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/ekrhyper/MANUAL.TXT pkg.csize=21854 pkg.size=97184
file 5ef1651e8a62231768d169afc2491c5b1c387a4a chash=e6e5ba7ab1ca15fdd48084a1ca34d870a7c1e9d1 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/ekrhyper/README pkg.csize=1425 pkg.size=3514
legacy arch=i386 category=develop,application desc="see: pkg info developer/hets/ekrhyper" name="Theorem Prover and model generator E-KRHyper" pkg=LNFekrhyper version=1.4.21022014
depend fmri=pkg:/shell/ksh93@93.21 type=require
depend fmri=pkg:/system/core-os@0.5 type=require
depend fmri=pkg:/system/library/math@0.5 type=require
depend fmri=pkg:/system/library@0.5 type=require