The math/prover9/p9m4 port
p9m4-05p7 – prover9/mace4 GUI (cvsweb github mirror)
Description
GUI for the LADR (prover9 mace4) tools.WWW: http://www.cs.unm.edu/%7Emccune/prover9/
Maintainer
The OpenBSD ports mailing-list
Only for arches
aarch64 alpha amd64 arm hppa i386 mips64 mips64el powerpc powerpc64 riscv64 sparc64
Categories
Build dependencies
Run dependencies
Reverse dependencies
Files
- /usr/local/bin/prover9-mace4
- /usr/local/libexec/prover9/p9m4/
- /usr/local/libexec/prover9/p9m4/__pycache__/
- /usr/local/libexec/prover9/p9m4/__pycache__/control.cpython-313.opt-1.pyc
- /usr/local/libexec/prover9/p9m4/__pycache__/control.cpython-313.pyc
- /usr/local/libexec/prover9/p9m4/__pycache__/files.cpython-313.opt-1.pyc
- /usr/local/libexec/prover9/p9m4/__pycache__/files.cpython-313.pyc
- /usr/local/libexec/prover9/p9m4/__pycache__/my_setup.cpython-313.opt-1.pyc
- /usr/local/libexec/prover9/p9m4/__pycache__/my_setup.cpython-313.pyc
- /usr/local/libexec/prover9/p9m4/__pycache__/options.cpython-313.opt-1.pyc
- /usr/local/libexec/prover9/p9m4/__pycache__/options.cpython-313.pyc
- /usr/local/libexec/prover9/p9m4/__pycache__/partition_input.cpython-313.opt-1.pyc
- /usr/local/libexec/prover9/p9m4/__pycache__/partition_input.cpython-313.pyc
- /usr/local/libexec/prover9/p9m4/__pycache__/platforms.cpython-313.opt-1.pyc
- /usr/local/libexec/prover9/p9m4/__pycache__/platforms.cpython-313.pyc
- /usr/local/libexec/prover9/p9m4/__pycache__/prover9-mace4.cpython-313.opt-1.pyc
- /usr/local/libexec/prover9/p9m4/__pycache__/prover9-mace4.cpython-313.pyc
- /usr/local/libexec/prover9/p9m4/__pycache__/utilities.cpython-313.opt-1.pyc
- /usr/local/libexec/prover9/p9m4/__pycache__/utilities.cpython-313.pyc
- /usr/local/libexec/prover9/p9m4/__pycache__/wx_utilities.cpython-313.opt-1.pyc
- /usr/local/libexec/prover9/p9m4/__pycache__/wx_utilities.cpython-313.pyc
- /usr/local/libexec/prover9/p9m4/control.py
- /usr/local/libexec/prover9/p9m4/files.py
- /usr/local/libexec/prover9/p9m4/my_setup.py
- /usr/local/libexec/prover9/p9m4/options.py
- /usr/local/libexec/prover9/p9m4/partition_input.py
- /usr/local/libexec/prover9/p9m4/platforms.py
- /usr/local/libexec/prover9/p9m4/prover9-mace4.py
- /usr/local/libexec/prover9/p9m4/utilities.py
- /usr/local/libexec/prover9/p9m4/wx_utilities.py
- /usr/local/share/p9m4/
- /usr/local/share/p9m4/Images/
- /usr/local/share/p9m4/Images/mace4-90t.gif
- /usr/local/share/p9m4/Images/p9.ico
- /usr/local/share/p9m4/Images/prover9-5a-128t.gif
- /usr/local/share/p9m4/Images/prover9-splash.gif
- /usr/local/share/p9m4/Samples/
- /usr/local/share/p9m4/Samples/Equality/
- /usr/local/share/p9m4/Samples/Equality/Mace4/
- /usr/local/share/p9m4/Samples/Equality/Mace4/BA-Sheffer-counterexample.in
- /usr/local/share/p9m4/Samples/Equality/Mace4/CL-QL.in
- /usr/local/share/p9m4/Samples/Equality/Mace4/Megill-68.in
- /usr/local/share/p9m4/Samples/Equality/Mace4/Noncommutative-group-48.in
- /usr/local/share/p9m4/Samples/Equality/Mace4/Noncommutative-group.in
- /usr/local/share/p9m4/Samples/Equality/Mace4/Noncommutative-ring-unit.in
- /usr/local/share/p9m4/Samples/Equality/Mace4/Nonmodular-OML.in
- /usr/local/share/p9m4/Samples/Equality/Mace4/QG-4.in
- /usr/local/share/p9m4/Samples/Equality/Mace4/Ring-19.in
- /usr/local/share/p9m4/Samples/Equality/Mace4/TBA-independence-2.in
- /usr/local/share/p9m4/Samples/Equality/Prover9/
- /usr/local/share/p9m4/Samples/Equality/Prover9/BA-distributivity.in
- /usr/local/share/p9m4/Samples/Equality/Prover9/CL-BW.in
- /usr/local/share/p9m4/Samples/Equality/Prover9/CL-SK-W.in
- /usr/local/share/p9m4/Samples/Equality/Prover9/Cancellative-semigroup-EA.in
- /usr/local/share/p9m4/Samples/Equality/Prover9/LT-McKenzie-4basis.in
- /usr/local/share/p9m4/Samples/Equality/Prover9/OML-sax.in
- /usr/local/share/p9m4/Samples/Equality/Prover9/RBA-2.in
- /usr/local/share/p9m4/Samples/GT_Sax.in
- /usr/local/share/p9m4/Samples/Kauer.in
- /usr/local/share/p9m4/Samples/LT-McKenzie-4basis.in
- /usr/local/share/p9m4/Samples/Non-Equality/
- /usr/local/share/p9m4/Samples/Non-Equality/Mace4/
- /usr/local/share/p9m4/Samples/Non-Equality/Mace4/EC-counterexample.in
- /usr/local/share/p9m4/Samples/Non-Equality/Mace4/Kauer.in
- /usr/local/share/p9m4/Samples/Non-Equality/Mace4/Steam-bug.in
- /usr/local/share/p9m4/Samples/Non-Equality/Mace4/Toughnut.in
- /usr/local/share/p9m4/Samples/Non-Equality/Prover9/
- /usr/local/share/p9m4/Samples/Non-Equality/Prover9/EC-XCB-reflexivity.in
- /usr/local/share/p9m4/Samples/Non-Equality/Prover9/HWV006-1.in
- /usr/local/share/p9m4/Samples/Non-Equality/Prover9/Lifschitz.in
- /usr/local/share/p9m4/Samples/Non-Equality/Prover9/Steam.in
- /usr/local/share/p9m4/Samples/Non-Equality/Prover9/Subset_transitive.in
- /usr/local/share/p9m4/Samples/Non-Equality/Prover9/temp
- /usr/local/share/p9m4/Samples/Non-Equality/Prover9/temp0
- /usr/local/share/p9m4/Samples/Non-Equality/Prover9/temp1