PACKAGE NAME:  ladr-2009_11A-x86_64-2salix15.0.txz
PACKAGE LOCATION:  ./salix/academic
PACKAGE SIZE (compressed):  372 K
PACKAGE SIZE (uncompressed):  1488 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: