PACKAGE NAME:  eprover-2.5-x86_64-1salix15.0.txz
PACKAGE LOCATION:  ./salix/academic
PACKAGE SIZE (compressed):  1428 K
PACKAGE SIZE (uncompressed):  5712 K
PACKAGE REQUIRED:  
PACKAGE CONFLICTS:  
PACKAGE SUGGESTS:  
PACKAGE DESCRIPTION:
eprover: eprover (a first-order theorem prover)
eprover:
eprover: E is an automated theorem prover for first-order and equational logic.
eprover:
eprover: Homepage: http://www.eprover.org/
eprover:
eprover:
eprover:
eprover:
eprover:
eprover: