Package: mace2
Priority: optional
Section: universe/math
Installed-Size: 1135
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Peter Collingbourne <pcc03@doc.ic.ac.uk>
Architecture: i386
Source: otter
Version: 3.3f-1.1
Depends: libc6 (>= 2.7)
Recommends: perl, c-shell, otter
Suggests: swi-prolog | gprolog
Filename: pool/universe/o/otter/mace2_3.3f-1.1_i386.deb
Size: 529218
MD5sum: 475d32e7151e5f668e3a0cad22933354
SHA1: 439b478744676d9aa7732b8f39ed8f29d8d56f1d
SHA256: dcf013daa90472bd0076c4c923621f055f716970d827dd8303c3a8029fd880f1
Description: program that searches for finite models of first-order statements
Description-md5: 3fb8ffe281a2180d32adc0294cc3bc8d
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu