PACKAGE NAME:  ladr-2009_11A-i586-1_slonly.txz
PACKAGE MIRROR:  http://packages.slackonly.com/pub/packages/14.2-x86/
PACKAGE LOCATION:  ./academic/ladr
PACKAGE SIZE (compressed):  340 K
PACKAGE SIZE (uncompressed):  1650 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: