Package: prover9
Priority: optional
Section: universe/math
Installed-Size: 294
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian QA Group <packages@qa.debian.org>
Architecture: i386
Source: ladr
Version: 0.0.200911a-2.1
Depends: libc6 (>= 2.11), libladr4 (>= 0.0.200911a-1)
Suggests: ladr4-apps (= 0.0.200911a-2.1), prover9-doc (>> 0.0.200902a), prover9-doc (<< 0.0.200902b)
Filename: pool/universe/l/ladr/prover9_0.0.200911a-2.1_i386.deb
Size: 78004
MD5sum: 1b4df008061fc0885a9e351152c99a5e
SHA1: d7acf1b058341bb15a8363a9de4a84358b33c9da
SHA256: d11cea98f3daf0a10394c192e6af1834418ca528527381f8bfe65585a6962ae7
Description: theorem prover and countermodel generator
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Description-md5: c442e7a696a012e3623fe548e18e8471
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu