Package: prover9
Priority: optional
Section: universe/math
Installed-Size: 269
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
Depends: libc6 (>= 2.11), libladr4 (>= 0.0.200911a-1)
Suggests: ladr4-apps (= 0.0.200911a-2), prover9-doc (>> 0.0.200902a), prover9-doc (<< 0.0.200902b)
Filename: pool/universe/l/ladr/prover9_0.0.200911a-2_i386.deb
Size: 91272
MD5sum: 3df9d19097e9f1f013b4f0bfff35ea1a
SHA1: c79220ef954a9bd9b40927b8a43d0b4a5674f5e1
SHA256: a754d040ac099d4c192d647b1cd8f195ee1762facd7dc5077f6d5e23f07ade62
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