Package: cryptominisat
Architecture: amd64
Version: 5.11.15+dfsg1-1.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: 290
Depends: libboost-program-options1.83.0 (>= 1.83.0), libc6 (>= 2.38), libcryptominisat5-5.11t64 (>= 5.11.15+dfsg1), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1), zlib1g (>= 1:1.1.4)
Filename: pool/universe/c/cryptominisat/cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb
Size: 83060
MD5sum: f661e5fa547773009f8c64a6c8415724
SHA1: db34bbd8af3ceac99475a160d60acfbf9b0c27e1
SHA256: 46fa5b68b3354e5ee5e6399e855e08bf86d8a9fabe7b66b5618f061fb88dc7f0
SHA512: b79ce0ed4f5092c5ed8e12d0c90dc5bef914a62d61346e92100181f26efddec2c1992f8d8fa8c87bdf137c29fbf8076eea8a813ff511d99a1c8dc233ed98a1c5
Homepage: https://www.msoos.org/
Description: SAT solver command line interface
Description-md5: 9d0e8e0236146acc2b7957ceba029158