Package: cryptominisat
Architecture: amd64
Version: 5.11.21+dfsg1-1build1
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: 300
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-1build1_amd64.deb
Size: 95766
MD5sum: 901827b4d83b81a94f2fa1b76bbc7fcd
SHA1: 11ec1780ad20fb241a683d9d3b35d46a3be2a020
SHA256: 1ab2dcb33e774468d84529fcb0593448c57f25af0c47ce9a3e4852af6d702ff5
SHA512: 080490a70f443391f5faba4859f46aefafad6768c0b296fc55b0d4e902f74a50037362ed2464a09498cad8dc8282eec7a5f56c3018029059817428e2a5f635d1
Homepage: https://www.msoos.org/
Description: SAT solver command line interface
Description-md5: 9d0e8e0236146acc2b7957ceba029158