Package: drat-trim-examples
Source: drat-trim
Priority: optional
Section: universe/science
Installed-Size: 7196
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: all
Version: 0.0~git20240428.effa1dc-3
Recommends: drat-trim
Suggests: bzip2
Filename: pool/universe/d/drat-trim/drat-trim-examples_0.0~git20240428.effa1dc-3_all.deb
Size: 7239160
SHA512: 1541da983806e10d494648735de368b4084a31b7a1854fe8ca1ea3c991bc873c1c91260103dfb361fa8f0cfbbd796c2beae5fd8939a88c8f5a0526ec2b206e7c
Homepage: https://www.cs.utexas.edu/~marijn/drat-trim/
Description: DART-trim satisfiability proof checker (example files)
Description-md5: 014e5d7f0efb622d4f0b21f560437a71
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Multi-Arch: foreign
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug