@name ladr-dec-2007p4
@version 5
@comment pkgpath=math/prover9/ladr ftp=yes
@arch riscv64
+DESC
@sha CNBW1P6p/910TowxjyUQ3OiI5k7a7qOhNwY3pQIeJdo=
@size 279
@wantlib c.100.3
@wantlib m.10.1
@cwd /usr/local
libexec/prover9/
@bin libexec/prover9/autosketches4
@sha fJJBHRlIMkoNsk33R1sad+WowlQ8NCJi+rJKgjBKsTU=
@size 368280
@ts 1744401575
@bin libexec/prover9/clausefilter
@sha XGQSepGfAz9sCaC7XuvkElUkKQ5hEVMNEEf9WCl3tFw=
@size 275512
@ts 1744401576
@bin libexec/prover9/clausetester
@sha /YstYbwXtj4DJgphOL0YvMaJzFIIm2WVFfNIWGlin54=
@size 274992
@ts 1744401576
@bin libexec/prover9/dprofiles
@sha IpBf53Ckd2IFVVwmYOA6rxptInuHJNjRv2PrCgPNhD0=
@size 274544
@ts 1744401577
@bin libexec/prover9/fof-prover9
@sha zoAjV6RMB1koozz1fONmqA3iVkgWPPx4WdCkh3TniVM=
@size 367512
@ts 1744401577
@bin libexec/prover9/idfilter
@sha qUDkjFor3AswmFVSkycOPwnJGBHBk1entinrXIIuQtk=
@size 251416
@ts 1744401577
@bin libexec/prover9/interpfilter
@sha Rcmlw/4YVlLzCqVWDxeAJcJykpJCR7+UpXW7aN9lZLQ=
@size 275408
@ts 1744401578
@bin libexec/prover9/interpformat
@sha OZcImk0qQYCjcPpfeo/XP8xsSA3UQw9aCqHGp2i0mII=
@size 277384
@ts 1744401578
@bin libexec/prover9/isofilter
@sha vR8q7qd0G2QhOcvxedSat8v2p+cM0pfTVXWPoSO7Pb4=
@size 275912
@ts 1744401579
@bin libexec/prover9/isofilter0
@sha 3SXxvF1eFZbcvrkwCq7ug/FE+Od8dk/IguYi3JB5WyQ=
@size 275632
@ts 1744401579
@bin libexec/prover9/isofilter2
@sha gzCUMyFflvl3B3LtuIEHOZ6FwL84wu+d7APe+s45W6U=
@size 275944
@ts 1744401579
@bin libexec/prover9/ladr_to_tptp
@sha 1d1e+ayo8WY9P7r8EjsQcohmfuKVcRknAS2s870Cgwg=
@size 372712
@ts 1744401580
@bin libexec/prover9/latfilter
@sha /+F5m5iGUlmlWu2+mUmkDhqC/Xso4jGAjxwb70GYHzo=
@size 251496
@ts 1744401581
@bin libexec/prover9/mace4
@sha h/pSM8pSBGZNlbiR3I8vLgkrVrjdkEYRADjvLdaIXpc=
@size 312848
@ts 1744401581
@bin libexec/prover9/miniscope
@sha BIyEG5nYWpFP96h3gVgYKT89e0kmoSTNSz7Lo6vwoTA=
@size 249968
@ts 1744401581
@bin libexec/prover9/mirror-flip
@sha QpKPQK/tQa5DHpD/DBxEQ7fI2865n7eYCaDo/p3BiMk=
@size 250536
@ts 1744401582
@bin libexec/prover9/newauto
@sha tE7i8aLbbUP6XXT7hqeifzK02E8aIItkgx31BnRf2V4=
@size 369096
@ts 1744401582
@bin libexec/prover9/newsax
@sha m3DXyS7qt30jmH7pPNqUDo78QXGdgKEy1aIf1Xajfi0=
@size 369560
@ts 1744401583
@bin libexec/prover9/olfilter
@sha H/ckItbDBI8RxgI6tgo0SWiHgoe+JngVaHErl95R/78=
@size 253856
@ts 1744401583
@bin libexec/prover9/perm3
@sha rZyCe0HRkeJnBaHwPAHW7sADhCU8FqZxJt+oji0EH0c=
@size 251224
@ts 1744401583
@bin libexec/prover9/prooftrans
@sha Ne4VLWvAISJb0EtDfSm0zD9LQn22hPusIWXmwyNpx/o=
@size 257208
@ts 1744401584
@bin libexec/prover9/prover9
@sha Uw5yJBlJKoLXBj+z70EM8QXouIVdFST334NfrDJDaIY=
@size 367304
@ts 1744401584
@bin libexec/prover9/renamer
@sha T2sGRCVLtqebdlIKECjPIJpn9rCy+A1RbZEVjwnfmD0=
@size 250480
@ts 1744401585
@bin libexec/prover9/rewriter
@sha Axak2+tUXxRnb8JkpCpkoexR5f5zhjGfGW5go9eHMq0=
@size 251200
@ts 1744401585
@bin libexec/prover9/sigtest
@sha 1OIZcqpwUfoelHsl2nPWXLXvaSiCCEP6qB/8beFzFqk=
@size 274488
@ts 1744401585
@bin libexec/prover9/tptp_to_ladr
@sha fAqSkuNgUSeqVw5ycyZquGDHxvL3/ZwkSL+p5lFNQXE=
@size 372872
@ts 1744401586
@bin libexec/prover9/unfast
@sha mU/G8jNlFHc1Di0ufaP+SXJpkSHE32VFi9RSvEFZdVE=
@size 250192
@ts 1744401586
@bin libexec/prover9/upper-covers
@sha 7gQEX6IrKJkko58nUtZWs9gTz1xJZILOHSDo8E2CzBo=
@size 275200
@ts 1744401587
share/examples/prover9/
share/examples/prover9/attack
@sha Osxi08wvt6ORtLLSAW3kIVmeGaEtfHpJbtcKZDwGP9s=
@size 4807
@ts 1744401587
share/examples/prover9/get_givens
@sha 4GjRRNF5DjwDHP9xSzmsf15CjMdLdaHLpzuv7pTIlSc=
@size 73
@ts 1744401587
share/examples/prover9/get_interps
@sha FofYtVyC/i3fIEOnybDxfd19PG+CYgsKOZU0psJQcrI=
@size 191
@ts 1744401587
share/examples/prover9/get_kept
@sha S8/vQry9b6CIAh1ogWaUNT1t2Kyt2yb4lGwB4A7/+YE=
@size 74
@ts 1744401587
share/examples/prover9/gvizify
@sha yNJPYLm12UfE9C2EXnZwcmNYNONVqn4hWgqxAmRJNGw=
@size 11968
@ts 1744401587
share/examples/prover9/looper
@sha d0kF5DR67I12SJ571cyL/A01q1ByVgVz09pA+15lN+g=
@size 5100
@ts 1744401587
share/examples/prover9/mace4/
share/examples/prover9/mace4/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1744401587
share/examples/prover9/mace4/group2.in
@sha cFtHSHDFGsAlP3eEmqEFumN5gyt6va5S8kj4qr3eaAA=
@size 601
@ts 1744401587
share/examples/prover9/mace4/rw1.in
@sha h824AjwfmQOLgv6ndyzr5V/ABn18WS2EXpEh48ESfxI=
@size 722
@ts 1744401587
share/examples/prover9/proof3fo.xsl
@sha XBNGIkjgREghLYtQAW9RSiwdwuRuzQZGA+sjQv4vRB4=
@size 7297
@ts 1744401587
share/examples/prover9/prover9/
share/examples/prover9/prover9-mace4
@sha MVPHXHcMN3+bwovGOD72CxLG6NobyDgULTy2RWbEtR8=
@size 4140
@ts 1744401587
share/examples/prover9/prover9/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1744401587
share/examples/prover9/prover9/x2.hints
@sha H/KJ0ZjJ//pJUsd5CYN/wR4njVkfvQhYPZp14k38K74=
@size 496
@ts 1744401587
share/examples/prover9/prover9/x2.in
@sha BTmJRNsamXx5WL+vzdHHBDf5skcfbpKqbBEtZ75rd0g=
@size 152
@ts 1744401587
share/examples/prover9/prover9/x2.out
@sha L2tlbefCUvexzAaahTCR0DB9iNmvUWZPHChvWUtw6/c=
@size 5100
@ts 1744401587
