Package: cryptominisat
Architecture: amd64
Version: 5.11.4+dfsg1-2build1
Multi-Arch: foreign
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 279
Depends: libboost-program-options1.74.0 (>= 1.74.0), libc6 (>= 2.34), libcryptominisat5-5.11 (>= 5.11.4+dfsg1), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 11), zlib1g (>= 1:1.1.4)
Filename: pool/universe/c/cryptominisat/cryptominisat_5.11.4+dfsg1-2build1_amd64.deb
Size: 79704
MD5sum: 2c0f1236adee04ab599d988fb6f5d210
SHA1: c457a772c5e9ecb63332147fc68b028d77cefec7
SHA256: 84e31474d5899a462df04c113094d68d85347d60dcf8f49b017dc7e45f11b1c9
SHA512: 060e7f082cc8219492dddc831e77a0cf7039b42e742c63c1aa4e1785096fa9bbbe9f9e658b4fedf3750d12611d752a4b12c88387b6c22e37ff33df44c1ba4095
Homepage: https://www.msoos.org/
Description: SAT solver command line interface
Description-md5: 9d0e8e0236146acc2b7957ceba029158