@name p9m4-05p3
@comment pkgpath=math/prover9/p9m4 ftp=yes
@arch *
+DESC
@sha ax2sLRpNxZwyQCCsm7tr62q8X977Ttu+LC+yM43NOEU=
@size 169
@depend devel/py-modulegraph,python3:py3-modulegraph-*:py3-modulegraph-0.19.5
@depend lang/python/3.10,-main:python->=3.10,<3.11:python-3.10.13p0
@depend math/prover9/ladr:ladr-dec-*:ladr-dec-2007p3
@depend x11/py-wxPython,python3:py3-wxPython-*:py3-wxPython-4.2.1p0
@cwd /usr/local
bin/prover9-mace4
@sha 3e/MwQtPUB0Ve84AtWUlHLpkK8BRS/DztFAnVFrN06o=
@size 153
@ts 1710963334
libexec/prover9/p9m4/
libexec/prover9/p9m4/__pycache__/
libexec/prover9/p9m4/__pycache__/control.cpython-310.pyc
@sha HFIdrP+HWym4RMNCe6MftO2T6fpNMsSSTYxrWTTb2lo=
@size 28163
@ts 1710963336
libexec/prover9/p9m4/__pycache__/files.cpython-310.pyc
@sha hlcvROcZtt2X5vjc+PgdZ2XEbFf7q+Ujn5Hz6Fk7EA8=
@size 1783
@ts 1710963338
libexec/prover9/p9m4/__pycache__/my_setup.cpython-310.pyc
@sha nXaB8iGykXUiFaTCxj7i9JsLDszsTikf4KdAxKgo3K0=
@size 15593
@ts 1710963340
libexec/prover9/p9m4/__pycache__/options.cpython-310.pyc
@sha ypDW4M3Rh59Xm1dtzXkBJuJUYP7rX1azj7/DtBmcBMw=
@size 30535
@ts 1710963347
libexec/prover9/p9m4/__pycache__/partition_input.cpython-310.pyc
@sha +1fCfL1QJ08bDfhMTxXXLVAQ5kX/0zAsIQOJBI2J85o=
@size 2864
@ts 1710963351
libexec/prover9/p9m4/__pycache__/platforms.cpython-310.pyc
@sha /LwhWmY2YU9ice/6EbYT49g2IKuL284MuBCWrKdzaL0=
@size 856
@ts 1710963351
libexec/prover9/p9m4/__pycache__/prover9-mace4.cpython-310.pyc
@sha 7mpS+jpVs042v4DDpEFJd8pGIW76b1tWN0xY5mrYEQA=
@size 20282
@ts 1710963354
libexec/prover9/p9m4/__pycache__/utilities.cpython-310.pyc
@sha e9y32Kmy/eu2CAxuc+6orW+koM+XLkLFwgTiLChkah0=
@size 1782
@ts 1710963358
libexec/prover9/p9m4/__pycache__/wx_utilities.cpython-310.pyc
@sha 0eOdqIuwUVyNKCaagzdZ1fG/hvLl5jTFrOcAYLe44rE=
@size 9299
@ts 1710963362
libexec/prover9/p9m4/control.py
@sha iXdvlghikSubkX8gvMC8GIBb5A6S+alh84PVwiOj4VU=
@size 40853
@ts 1710963336
libexec/prover9/p9m4/files.py
@sha YNxvoZOAJQovlHkLAKI+Mdr3urcLzqXcWnQNBBjV1as=
@size 2443
@ts 1710963336
libexec/prover9/p9m4/my_setup.py
@sha Sd5RWAH7oFIoir0GTyT0T9+nwAioRhQLBh+R9QsLQf0=
@size 22448
@ts 1710963338
libexec/prover9/p9m4/options.py
@sha /DVCmpv3qWQPV7FvFI0gx6ApVONMHHBT7jIaNGXPvKY=
@size 50528
@ts 1710963347
libexec/prover9/p9m4/partition_input.py
@sha 75DN/Bq6IvJVYWLSKYl5vifHZOJSG9tbTySe2scU+1A=
@size 4720
@ts 1710963350
libexec/prover9/p9m4/platforms.py
@sha +mgLhdqWoq4oKMNzYlLUbmztD6RsdOrDQsphI/fy+nw=
@size 1475
@ts 1710963348
libexec/prover9/p9m4/prover9-mace4.py
@sha EexBIoLH4RFJ/td/cvpVhTPs0NzSUyXTr6LS25fhm+E=
@size 24268
@ts 1710963354
libexec/prover9/p9m4/utilities.py
@sha cIzmBWUcTSVnflZlT0aNlZqMnE5rQ3tEt30KBC4lvxk=
@size 2478
@ts 1710963354
libexec/prover9/p9m4/wx_utilities.py
@sha qaVJpke11cVFCX/yvft4wvHfq1vzQ1sTGgzjTl0cISc=
@size 10938
@ts 1710963362
share/p9m4/
share/p9m4/Images/
share/p9m4/Images/mace4-90t.gif
@sha u/44pBa2uv1knnijTThMiL0Yx/skbNd1i6figx3cEYk=
@size 827
@ts 1710963334
share/p9m4/Images/p9.ico
@sha /LL513x3R1nNNMIYm0nODu8j1XcECBaO0Bte4mjnW7E=
@size 7406
@ts 1710963334
share/p9m4/Images/prover9-5a-128t.gif
@sha vQAzhmwfqV4xAivgp/nOUGk9TVOa+HtPJfMmTBJWGXA=
@size 1147
@ts 1710963334
share/p9m4/Images/prover9-splash.gif
@sha JOTrq+XQMuMaLVuTkdurkwGHpp4Wce5Vzv/NE9xkS3U=
@size 7640
@ts 1710963334
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
