Prover9

This is Prover9, an automated theorem prover and model finder for first-order logic with equality.

This clone is based on the version LADR-2017-11A provided by Bob Veroff, the most recent version in August 2018.

Readme first

Prover9, Mace4, and Related Programs.

To compile, see README.make.

See

for the HTML manual, examples, and updates.

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
TODO		TODO
apps.examples		apps.examples
apps.src		apps.src
bin		bin
bob		bob
ladr		ladr
mace4.examples		mace4.examples
mace4.src		mace4.src
manpages		manpages
prover9.examples		prover9.examples
provers.src		provers.src
test.src		test.src
utilities-old		utilities-old
utilities		utilities
.gitignore		.gitignore
COPYING		COPYING
Changelog		Changelog
Changelog.old		Changelog.old
Makefile		Makefile
README.AMD_64		README.AMD_64
README.first		README.first
README.make		README.make
README.md		README.md
README.release-reminder		README.release-reminder
README.static		README.static
VERSION_DATE.h		VERSION_DATE.h
libtoolize.patch		libtoolize.patch
rev.py		rev.py
sed.gnu-blurb		sed.gnu-blurb