Package: eprover
Version: 3.2.5+ds-1build1
Architecture: amd64
Architecture-Variant: amd64v3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Math Team <team+math@tracker.debian.org>
Installed-Size: 9383
Depends: libc6 (>= 2.34), picosat (>= 959)
Section: math
Priority: optional
Homepage: https://eprover.org
Description: Equational theorem prover
 This package provides tools to prove equational theorems:
 from a mathematical specification in many-sorted first-order
 logic with equality and an hypothesis/conjecture, it
 will look for a proof.
