Package: cryptominisat
Priority: optional
Section: universe/math
Installed-Size: 304
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 5.11.21+dfsg1-3build1
Depends: libc6 (>= 2.38), libcryptominisat5-5.11t64 (>= 5.11.21+dfsg1), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1), zlib1g (>= 1:1.1.4)
Filename: pool/universe/c/cryptominisat/cryptominisat_5.11.21+dfsg1-3build1_amd64.deb
Size: 96378
SHA512: bbe94ed294f604ce4d6e0b13bec417523ea6d3627c45a581e791c1a78caeafde52cc112ba6f3e41a414b46a87c23061e6bf8f449235ab13044751ca6365b4b6e
Homepage: https://www.msoos.org/
Description: SAT solver command line interface
Description-md5: 9d0e8e0236146acc2b7957ceba029158
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Multi-Arch: foreign
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug