PACKAGE NAME:  ladr-2009_11A-i486-1_slack.txz
PACKAGE MIRROR:  http://slackonly.com/pub/packages/14.1-x86/
PACKAGE LOCATION:  ./academic/ladr
PACKAGE SIZE (compressed):  344 K
PACKAGE SIZE (uncompressed):  1580 K
PACKAGE REQUIRED:  
PACKAGE CONFLICTS:  
PACKAGE SUGGESTS:  
PACKAGE DESCRIPTION:
ladr: ladr (Mathematical Programs)
ladr:
ladr: LADR includes some mathematical programs like
ladr:  - prover 9 (automated theorem prover for first-order and equational
ladr:    logic)
ladr:  - mace4 (search for finite models and counterexamples)
ladr:
ladr: Homepage: http://www.cs.unm.edu/~mccune/prover9/
ladr:
ladr:
ladr: