2c96b38d8c
called LADR (Library for Automated Deduction Research). split into ladr (prover9 mace4 tools) and p9m4 (gui to ladr) ok aja@ and thanks to landry@/robert@ too for putting up with my ranting about this..
59 lines
2.4 KiB
Plaintext
59 lines
2.4 KiB
Plaintext
@comment $OpenBSD: PLIST,v 1.1.1.1 2011/03/07 22:26:24 jasper Exp $
|
|
bin/prover9-mace4
|
|
libexec/prover9/
|
|
libexec/prover9/p9m4/
|
|
libexec/prover9/p9m4/control.py
|
|
libexec/prover9/p9m4/files.py
|
|
libexec/prover9/p9m4/my_setup.py
|
|
libexec/prover9/p9m4/options.py
|
|
libexec/prover9/p9m4/partition_input.py
|
|
libexec/prover9/p9m4/platforms.py
|
|
libexec/prover9/p9m4/prover9-mace4.py
|
|
libexec/prover9/p9m4/utilities.py
|
|
libexec/prover9/p9m4/wx_utilities.py
|
|
share/p9m4/
|
|
share/p9m4/Images/
|
|
share/p9m4/Images/mace4-90t.gif
|
|
share/p9m4/Images/p9.ico
|
|
share/p9m4/Images/prover9-5a-128t.gif
|
|
share/p9m4/Images/prover9-splash.gif
|
|
share/p9m4/Samples/
|
|
share/p9m4/Samples/Equality/
|
|
share/p9m4/Samples/Equality/Mace4/
|
|
share/p9m4/Samples/Equality/Mace4/BA-Sheffer-counterexample.in
|
|
share/p9m4/Samples/Equality/Mace4/CL-QL.in
|
|
share/p9m4/Samples/Equality/Mace4/Megill-68.in
|
|
share/p9m4/Samples/Equality/Mace4/Noncommutative-group-48.in
|
|
share/p9m4/Samples/Equality/Mace4/Noncommutative-group.in
|
|
share/p9m4/Samples/Equality/Mace4/Noncommutative-ring-unit.in
|
|
share/p9m4/Samples/Equality/Mace4/Nonmodular-OML.in
|
|
share/p9m4/Samples/Equality/Mace4/QG-4.in
|
|
share/p9m4/Samples/Equality/Mace4/Ring-19.in
|
|
share/p9m4/Samples/Equality/Mace4/TBA-independence-2.in
|
|
share/p9m4/Samples/Equality/Prover9/
|
|
share/p9m4/Samples/Equality/Prover9/BA-distributivity.in
|
|
share/p9m4/Samples/Equality/Prover9/CL-BW.in
|
|
share/p9m4/Samples/Equality/Prover9/CL-SK-W.in
|
|
share/p9m4/Samples/Equality/Prover9/Cancellative-semigroup-EA.in
|
|
share/p9m4/Samples/Equality/Prover9/LT-McKenzie-4basis.in
|
|
share/p9m4/Samples/Equality/Prover9/OML-sax.in
|
|
share/p9m4/Samples/Equality/Prover9/RBA-2.in
|
|
share/p9m4/Samples/GT_Sax.in
|
|
share/p9m4/Samples/Kauer.in
|
|
share/p9m4/Samples/LT-McKenzie-4basis.in
|
|
share/p9m4/Samples/Non-Equality/
|
|
share/p9m4/Samples/Non-Equality/Mace4/
|
|
share/p9m4/Samples/Non-Equality/Mace4/EC-counterexample.in
|
|
share/p9m4/Samples/Non-Equality/Mace4/Kauer.in
|
|
share/p9m4/Samples/Non-Equality/Mace4/Steam-bug.in
|
|
share/p9m4/Samples/Non-Equality/Mace4/Toughnut.in
|
|
share/p9m4/Samples/Non-Equality/Prover9/
|
|
share/p9m4/Samples/Non-Equality/Prover9/EC-XCB-reflexivity.in
|
|
share/p9m4/Samples/Non-Equality/Prover9/HWV006-1.in
|
|
share/p9m4/Samples/Non-Equality/Prover9/Lifschitz.in
|
|
share/p9m4/Samples/Non-Equality/Prover9/Steam.in
|
|
share/p9m4/Samples/Non-Equality/Prover9/Subset_transitive.in
|
|
share/p9m4/Samples/Non-Equality/Prover9/temp
|
|
share/p9m4/Samples/Non-Equality/Prover9/temp0
|
|
share/p9m4/Samples/Non-Equality/Prover9/temp1
|