PACKAGE NAME:  eprover-2.4-x86_64-1_slonly.txz
PACKAGE MIRROR:  http://packages.slackonly.com/pub/packages/14.2-x86_64/
PACKAGE LOCATION:  ./academic/eprover
PACKAGE SIZE (compressed):  1424 K
PACKAGE SIZE (uncompressed):  11030 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: