The math/prover9/ladr port
ladr-dec-2007p4 – Library for Automated Deduction Research (cvsweb github mirror)
Description
Prover9, Mace4, and several related programs come packaged in a system called LADR (Library for Automated Deduction Research).WWW: http://www.cs.unm.edu/%7Emccune/prover9/
Maintainer
The OpenBSD ports mailing-list
Categories
Build dependencies
Test dependencies
Reverse dependencies
Files
- /usr/local/libexec/prover9/
- /usr/local/libexec/prover9/autosketches4
- /usr/local/libexec/prover9/clausefilter
- /usr/local/libexec/prover9/clausetester
- /usr/local/libexec/prover9/dprofiles
- /usr/local/libexec/prover9/fof-prover9
- /usr/local/libexec/prover9/idfilter
- /usr/local/libexec/prover9/interpfilter
- /usr/local/libexec/prover9/interpformat
- /usr/local/libexec/prover9/isofilter
- /usr/local/libexec/prover9/isofilter0
- /usr/local/libexec/prover9/isofilter2
- /usr/local/libexec/prover9/ladr_to_tptp
- /usr/local/libexec/prover9/latfilter
- /usr/local/libexec/prover9/mace4
- /usr/local/libexec/prover9/miniscope
- /usr/local/libexec/prover9/mirror-flip
- /usr/local/libexec/prover9/newauto
- /usr/local/libexec/prover9/newsax
- /usr/local/libexec/prover9/olfilter
- /usr/local/libexec/prover9/perm3
- /usr/local/libexec/prover9/prooftrans
- /usr/local/libexec/prover9/prover9
- /usr/local/libexec/prover9/renamer
- /usr/local/libexec/prover9/rewriter
- /usr/local/libexec/prover9/sigtest
- /usr/local/libexec/prover9/tptp_to_ladr
- /usr/local/libexec/prover9/unfast
- /usr/local/libexec/prover9/upper-covers
- /usr/local/share/examples/prover9/
- /usr/local/share/examples/prover9/attack
- /usr/local/share/examples/prover9/get_givens
- /usr/local/share/examples/prover9/get_interps
- /usr/local/share/examples/prover9/get_kept
- /usr/local/share/examples/prover9/gvizify
- /usr/local/share/examples/prover9/looper
- /usr/local/share/examples/prover9/mace4/
- /usr/local/share/examples/prover9/mace4/README
- /usr/local/share/examples/prover9/mace4/group2.in
- /usr/local/share/examples/prover9/mace4/rw1.in
- /usr/local/share/examples/prover9/proof3fo.xsl
- /usr/local/share/examples/prover9/prover9-mace4
- /usr/local/share/examples/prover9/prover9/
- /usr/local/share/examples/prover9/prover9/README
- /usr/local/share/examples/prover9/prover9/x2.hints
- /usr/local/share/examples/prover9/prover9/x2.in
- /usr/local/share/examples/prover9/prover9/x2.out