PACKAGE NAME:  ladr-2009_11A-i586-2salix15.0.txz
PACKAGE LOCATION:  ./salix/academic
PACKAGE SIZE (compressed):  366 K
PACKAGE SIZE (uncompressed):  1464 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: https://www.cs.unm.edu/~mccune/prover9/
ladr:
ladr:
ladr: