Package: mace2 Priority: optional Section: universe/math Installed-Size: 1137 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Peter Collingbourne <pcc03@doc.ic.ac.uk> Architecture: amd64 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_amd64.deb Size: 548314 MD5sum: a519e653fbb387e4532a113cb09ae723 SHA1: f2d93036092b4d6a368da74fae2f88ad8755e857 SHA256: 4574930d175551fd973338b1e9f40e95833737d109ff87a10eaa7dba87dd0678 Description: program that searches for finite models of first-order statements Description-md5: 3fb8ffe281a2180d32adc0294cc3bc8d Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu