ac83e95353
This package includes Prover9, an automated theorem prover for first-order and equational logic, and Mace4, which searches for finite models and counter examples.
51 lines
963 B
Text
51 lines
963 B
Text
@comment $NetBSD: PLIST,v 1.1.1.1 2011/01/07 16:56:46 pdtafti Exp $
|
|
bin/attack
|
|
bin/autosketches4
|
|
bin/clausefilter
|
|
bin/clausetester
|
|
bin/complex
|
|
bin/directproof
|
|
bin/dprofiles
|
|
bin/fof-prover9
|
|
bin/gen_trc_defs
|
|
bin/get_givens
|
|
bin/get_interps
|
|
bin/get_kept
|
|
bin/gvizify
|
|
bin/idfilter
|
|
bin/interpfilter
|
|
bin/interpformat
|
|
bin/isofilter
|
|
bin/isofilter0
|
|
bin/isofilter2
|
|
bin/ladr_to_tptp
|
|
bin/latfilter
|
|
bin/looper
|
|
bin/mace4
|
|
bin/miniscope
|
|
bin/mirror-flip
|
|
bin/newauto
|
|
bin/newsax
|
|
bin/olfilter
|
|
bin/perm3
|
|
bin/proof3fo.xsl
|
|
bin/prooftrans
|
|
bin/prover9
|
|
bin/prover9-mace4
|
|
bin/renamer
|
|
bin/rewriter
|
|
bin/sigtest
|
|
bin/test_clause_eval
|
|
bin/test_complex
|
|
bin/tptp_to_ladr
|
|
bin/unfast
|
|
bin/upper-covers
|
|
man/man1/mace4.1
|
|
man/man1/prover9.1
|
|
share/examples/prover9/mace4/README
|
|
share/examples/prover9/mace4/group2.in
|
|
share/examples/prover9/mace4/rw1.in
|
|
share/examples/prover9/prover9/README
|
|
share/examples/prover9/prover9/x2.hints
|
|
share/examples/prover9/prover9/x2.in
|
|
share/examples/prover9/prover9/x2.out
|