This script is for Slackware 12.1 only and may be outdated.

SlackBuilds Repository

12.1 > Academic > ladr (2008_09A)

LADR includes some mathematical programs like
 - prover 9 (automated theorem prover for first-order and equational logic)
 - mace4 (search for finite models and counterexamples)

Maintained by: ppr:kut
Keywords: otter,prover9,mace4,math
ChangeLog: ladr

Homepage:
http://www.cs.unm.edu/~mccune/prover9/

Source Downloads:
LADR-2008-09A.tar.gz (96cc67eae8f485c22d01449fd2639dae)

Download SlackBuild:
ladr.tar.gz
ladr.tar.gz.asc (FAQ)

(the SlackBuild does not include the source)

Individual Files:

• README

• ladr-libtoolize.diff

• ladr.SlackBuild

• ladr.info

• slack-desc

Validated for Slackware 12.1

See our HOWTO for instructions on how to use the contents of this repository.

Access to the repository is available via:
ftp git cgit http rsync