@name p9m4-05p7
@version 18
@comment pkgpath=math/prover9/p9m4 ftp=yes
@arch amd64
+DESC
@sha ax2sLRpNxZwyQCCsm7tr62q8X977Ttu+LC+yM43NOEU=
@size 169
@depend devel/py-modulegraph:py3-modulegraph-*:py3-modulegraph-0.19.7p0
@depend lang/python/3,-main:python->=3.14:python-3.14.5
@depend math/prover9/ladr:ladr-dec-*:ladr-dec-2007p5
@depend x11/py-wxPython,:py3-wxPython-*:py3-wxPython-4.2.5p0
@cwd /usr/local
bin/prover9-mace4
@sha 9ZrvJgwtAOEyBBpbasyRP1ChEOUtGqdy0J80cFVh0fU=
@size 153
@ts 1781143402
libexec/prover9/p9m4/
libexec/prover9/p9m4/__pycache__/
libexec/prover9/p9m4/__pycache__/control.cpython-314.opt-1.pyc
@sha krZKBt5ogzWxG3bnrfGiMxaCLh2106iuuAYKRRvN/FE=
@size 64929
@ts 1781143403
libexec/prover9/p9m4/__pycache__/control.cpython-314.pyc
@sha krZKBt5ogzWxG3bnrfGiMxaCLh2106iuuAYKRRvN/FE=
@size 64929
@ts 1781143403
libexec/prover9/p9m4/__pycache__/files.cpython-314.opt-1.pyc
@sha cmijTkBWIMtW0QZ+k0SmfJv8PEHq8frmzCjW9KPfJNI=
@size 2791
@ts 1781143403
libexec/prover9/p9m4/__pycache__/files.cpython-314.pyc
@sha cmijTkBWIMtW0QZ+k0SmfJv8PEHq8frmzCjW9KPfJNI=
@size 2791
@ts 1781143403
libexec/prover9/p9m4/__pycache__/my_setup.cpython-314.opt-1.pyc
@sha Z/vEVbjMtIsIOEIaF67myk36D8AxtCqe2UVi4AWkMgE=
@size 33145
@ts 1781143403
libexec/prover9/p9m4/__pycache__/my_setup.cpython-314.pyc
@sha Z/vEVbjMtIsIOEIaF67myk36D8AxtCqe2UVi4AWkMgE=
@size 33145
@ts 1781143403
libexec/prover9/p9m4/__pycache__/options.cpython-314.opt-1.pyc
@sha 6OLxii06wYm9Rlmr+RtTAQtd54teGPZZU+efWrjGF0k=
@size 48508
@ts 1781143403
libexec/prover9/p9m4/__pycache__/options.cpython-314.pyc
@sha 6OLxii06wYm9Rlmr+RtTAQtd54teGPZZU+efWrjGF0k=
@size 48508
@ts 1781143403
libexec/prover9/p9m4/__pycache__/partition_input.cpython-314.opt-1.pyc
@sha Jzm1qjkUO2DtJhkYCdozlPb682Y6rqACGgHjDdzzuv0=
@size 4975
@ts 1781143403
libexec/prover9/p9m4/__pycache__/partition_input.cpython-314.pyc
@sha Jzm1qjkUO2DtJhkYCdozlPb682Y6rqACGgHjDdzzuv0=
@size 4975
@ts 1781143403
libexec/prover9/p9m4/__pycache__/platforms.cpython-314.opt-1.pyc
@sha zdHRy4kMWK9cIIOoKw3WpI+4OA6lJqezfEHmRev74ZM=
@size 1197
@ts 1781143403
libexec/prover9/p9m4/__pycache__/platforms.cpython-314.pyc
@sha zdHRy4kMWK9cIIOoKw3WpI+4OA6lJqezfEHmRev74ZM=
@size 1197
@ts 1781143403
libexec/prover9/p9m4/__pycache__/prover9-mace4.cpython-314.opt-1.pyc
@sha 60ObqDVWCInH8oApxfH6QPs1O3KIG34ubmGjh3N2P/o=
@size 33408
@ts 1781143403
libexec/prover9/p9m4/__pycache__/prover9-mace4.cpython-314.pyc
@sha 60ObqDVWCInH8oApxfH6QPs1O3KIG34ubmGjh3N2P/o=
@size 33408
@ts 1781143403
libexec/prover9/p9m4/__pycache__/utilities.cpython-314.opt-1.pyc
@sha 40ksy7MAtJSH8PCoE0TP20X/WvfRlub2h/jnsL4Vwh8=
@size 2759
@ts 1781143403
libexec/prover9/p9m4/__pycache__/utilities.cpython-314.pyc
@sha 40ksy7MAtJSH8PCoE0TP20X/WvfRlub2h/jnsL4Vwh8=
@size 2759
@ts 1781143403
libexec/prover9/p9m4/__pycache__/wx_utilities.cpython-314.opt-1.pyc
@sha q+LsHrkDw9rxklrKGEKMufBrAY9Pfgig6+ZXBG0Oya0=
@size 18773
@ts 1781143403
libexec/prover9/p9m4/__pycache__/wx_utilities.cpython-314.pyc
@sha q+LsHrkDw9rxklrKGEKMufBrAY9Pfgig6+ZXBG0Oya0=
@size 18773
@ts 1781143403
libexec/prover9/p9m4/control.py
@sha iXdvlghikSubkX8gvMC8GIBb5A6S+alh84PVwiOj4VU=
@size 40853
@ts 1781143402
libexec/prover9/p9m4/files.py
@sha YNxvoZOAJQovlHkLAKI+Mdr3urcLzqXcWnQNBBjV1as=
@size 2443
@ts 1781143402
libexec/prover9/p9m4/my_setup.py
@sha Sd5RWAH7oFIoir0GTyT0T9+nwAioRhQLBh+R9QsLQf0=
@size 22448
@ts 1781143402
libexec/prover9/p9m4/options.py
@sha OOXaoeYxU+xyXHYNX/5VY1Br/Qh7EEfZgt+z6RB1u7c=
@size 50524
@ts 1781143402
libexec/prover9/p9m4/partition_input.py
@sha XUUPr4Pd8HTTn1fSkQv0TfX2EyTLIMhxtcs6DUVsdcc=
@size 4708
@ts 1781143402
libexec/prover9/p9m4/platforms.py
@sha +mgLhdqWoq4oKMNzYlLUbmztD6RsdOrDQsphI/fy+nw=
@size 1475
@ts 1781143402
libexec/prover9/p9m4/prover9-mace4.py
@sha 018kbi5pTmrRGQCuLVK113hDM+rnitAFCFp5qi6NvGI=
@size 24268
@ts 1781143402
libexec/prover9/p9m4/utilities.py
@sha cIzmBWUcTSVnflZlT0aNlZqMnE5rQ3tEt30KBC4lvxk=
@size 2478
@ts 1781143402
libexec/prover9/p9m4/wx_utilities.py
@sha qaVJpke11cVFCX/yvft4wvHfq1vzQ1sTGgzjTl0cISc=
@size 10938
@ts 1781143402
share/p9m4/
share/p9m4/Images/
share/p9m4/Images/mace4-90t.gif
@sha u/44pBa2uv1knnijTThMiL0Yx/skbNd1i6figx3cEYk=
@size 827
@ts 1781143402
share/p9m4/Images/p9.ico
@sha /LL513x3R1nNNMIYm0nODu8j1XcECBaO0Bte4mjnW7E=
@size 7406
@ts 1781143402
share/p9m4/Images/prover9-5a-128t.gif
@sha vQAzhmwfqV4xAivgp/nOUGk9TVOa+HtPJfMmTBJWGXA=
@size 1147
@ts 1781143402
share/p9m4/Images/prover9-splash.gif
@sha JOTrq+XQMuMaLVuTkdurkwGHpp4Wce5Vzv/NE9xkS3U=
@size 7640
@ts 1781143402
share/p9m4/Samples/
share/p9m4/Samples/Equality/
share/p9m4/Samples/Equality/Mace4/
share/p9m4/Samples/Equality/Mace4/BA-Sheffer-counterexample.in
@sha lqdqAaeFXRPa+MV2ObNxDDPXpyezw0G1CF25DNZvt0g=
@size 1144
@ts 1193082778
share/p9m4/Samples/Equality/Mace4/CL-QL.in
@sha zqprBaQGRhUjDowY7M/bCba3KAFu+HSizQWDpDk0eh8=
@size 521
@ts 1190666494
share/p9m4/Samples/Equality/Mace4/Megill-68.in
@sha h824AjwfmQOLgv6ndyzr5V/ABn18WS2EXpEh48ESfxI=
@size 722
@ts 1193082774
share/p9m4/Samples/Equality/Mace4/Noncommutative-group-48.in
@sha bgWOSH/fZTJOoqWd14lfdOPi7rK+W3iihjuaj0IEzew=
@size 356
@ts 1190666494
share/p9m4/Samples/Equality/Mace4/Noncommutative-group.in
@sha l7zQXno+MR3U742VK39NUJLAr8TqjCh1JJnz/glx6+M=
@size 510
@ts 1190666494
share/p9m4/Samples/Equality/Mace4/Noncommutative-ring-unit.in
@sha bKIGzZkMDWJDbxqUfHhhDbTQZ72awHIKbsiDH1EAIc8=
@size 475
@ts 1190666494
share/p9m4/Samples/Equality/Mace4/Nonmodular-OML.in
@sha DPiX8ME98VRVyAamf7z5NpfYW7PzdVJcJ8qQ547CDT0=
@size 547
@ts 1190666494
share/p9m4/Samples/Equality/Mace4/QG-4.in
@sha p8iLnx/LQTeME4D7FnrD6QooffTcda9OvK8MWgbSIGw=
@size 461
@ts 1197042548
share/p9m4/Samples/Equality/Mace4/Ring-19.in
@sha mMKu1F0zpJ/j2HVE/SflGeR+5pHzBtcwEMqCYMV5ey4=
@size 1117
@ts 1197576812
share/p9m4/Samples/Equality/Mace4/TBA-independence-2.in
@sha 2OOwae9G2I22zCBKTcMC5nAIL7Oxf7M1v5Z8qzFdlWA=
@size 451
@ts 1190666494
share/p9m4/Samples/Equality/Prover9/
share/p9m4/Samples/Equality/Prover9/BA-distributivity.in
@sha fAEPfHYrngVK/72QKup8IzApp8niHv5lBo5eP5W2XhM=
@size 448
@ts 1190666494
share/p9m4/Samples/Equality/Prover9/CL-BW.in
@sha 1aUBVf3k0Rep/JVc5kTabTUrNk8D9OsLbpYNSCcUYd4=
@size 845
@ts 1190666494
share/p9m4/Samples/Equality/Prover9/CL-SK-W.in
@sha zF39RfWbCgVdTL8ACXXKUXdjeaHH8dhkhKhkyo2kBkg=
@size 451
@ts 1190666494
share/p9m4/Samples/Equality/Prover9/Cancellative-semigroup-EA.in
@sha hsOr03jtEO2LhVz9CDuM2H6jXaETsC/r2NRS5kRmXX4=
@size 1298
@ts 1191375912
share/p9m4/Samples/Equality/Prover9/LT-McKenzie-4basis.in
@sha HE+TSTuh961vSqL5dXz7E0O8a1UxxSQNxItfhCIQr7k=
@size 464
@ts 1190666494
share/p9m4/Samples/Equality/Prover9/OML-sax.in
@sha tDnsuNGkeZmjHSFLdwqDC5tr5678m2Ze3l5bWB+IjT8=
@size 1506
@ts 1197577507
share/p9m4/Samples/Equality/Prover9/RBA-2.in
@sha X7FJ8Rw/fO2GiSgmfWk2rLXAT3PUvQhyjb9Zy2Vn+Ao=
@size 410
@ts 1190666494
share/p9m4/Samples/GT_Sax.in
@sha 54RIg6sX01W64uPjm/J1o6DD83kFamptflcC4wBcQkg=
@size 333
@ts 1191723694
share/p9m4/Samples/Kauer.in
@sha 9Jsb0IwElIUL1FzwVK72hH3osG1v/KImWkKG4Ifielg=
@size 1381
@ts 1197042258
share/p9m4/Samples/LT-McKenzie-4basis.in
@sha HE+TSTuh961vSqL5dXz7E0O8a1UxxSQNxItfhCIQr7k=
@size 464
@ts 1191724202
share/p9m4/Samples/Non-Equality/
share/p9m4/Samples/Non-Equality/Mace4/
share/p9m4/Samples/Non-Equality/Mace4/EC-counterexample.in
@sha RvD5bsB39UMQ+pkss8PKiwrKRbA0Dck2zgFRFxYXU8o=
@size 418
@ts 1193152356
share/p9m4/Samples/Non-Equality/Mace4/Kauer.in
@sha 9Jsb0IwElIUL1FzwVK72hH3osG1v/KImWkKG4Ifielg=
@size 1381
@ts 1190737760
share/p9m4/Samples/Non-Equality/Mace4/Steam-bug.in
@sha OA0hIAq8TDO2D9uBcocFhQKKiTF+dgfZgaWoo7EAGMs=
@size 2512
@ts 1190666494
share/p9m4/Samples/Non-Equality/Mace4/Toughnut.in
@sha KgnFOlBmVH775py4et8bF8TsuCjX/Dck62aVMSlAblA=
@size 3593
@ts 1193082719
share/p9m4/Samples/Non-Equality/Prover9/
share/p9m4/Samples/Non-Equality/Prover9/EC-XCB-reflexivity.in
@sha C460HeYCrJwsGw6RJ5ypOk5OupylqR6MsKj8TZ2D8Ig=
@size 411
@ts 1190666494
share/p9m4/Samples/Non-Equality/Prover9/HWV006-1.in
@sha O4AZ3X2DmMZHBn5trbuwjDDh3w5yCiVRQ419LhcmqVA=
@size 2781
@ts 1190666494
share/p9m4/Samples/Non-Equality/Prover9/Lifschitz.in
@sha I7vM9wOYAV2jRsD0czuEJVbJCX+iiG785TKd5JH8JGI=
@size 251
@ts 1190666494
share/p9m4/Samples/Non-Equality/Prover9/Steam.in
@sha hCgGLoxwB1PBSMYbyNqjuyt6voW6wG2l/QI/tyF+4lE=
@size 2190
@ts 1190666494
share/p9m4/Samples/Non-Equality/Prover9/Subset_transitive.in
@sha 71Qf0Wr8oPKTmkT1RcR/R9i/jI7L4LDqDLWY1NjxzFY=
@size 362
@ts 1190666494
share/p9m4/Samples/Non-Equality/Prover9/temp
@sha ypij7tgVBy2HVNUzNydo/JEfAE1+J5sQaYlVK9GamVU=
@size 21
@ts 1191728848
share/p9m4/Samples/Non-Equality/Prover9/temp0
@sha EFRHCK5bMeiSyid1IqcwDiCZxQELKeWVGnzqm8FfiCs=
@size 16135
@ts 1191729304
share/p9m4/Samples/Non-Equality/Prover9/temp1
@sha AnjhvbbJXo7Gx3DGpF+jmaa49e0s4mV7o284VxLBFyY=
@size 20911
@ts 1191729296
