Package: python3-cryptominisat
Source: cryptominisat
Priority: optional
Section: universe/python
Installed-Size: 1565
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 5.11.21+dfsg1-3build1
Depends: python3 (<< 3.15), python3 (>= 3.14~), libc6 (>= 2.34), libgcc-s1 (>= 3.4), libstdc++6 (>= 13.1)
Filename: pool/universe/c/cryptominisat/python3-cryptominisat_5.11.21+dfsg1-3build1_amd64.deb
Size: 593368
MD5sum: 2d3af03dc28b666f09836232317bbbc6
SHA1: 3991c7a391e094c8a0a8adf8af85582516031367
SHA256: dadcd6765bf871baba9bf4cd323c7c48ef98e06bac32510135e12549f5dc4c73
SHA512: c5569c2b55addec2037181f3c09069433e8341e8354bca5703c444548a12861000408780604bdf54215e8e8440ac610c186c5fabd281388fe63e1b1a197265ae
Homepage: https://www.msoos.org/
Description: Python bindings for the CryptoMiniSat SAT solver (Python 3)
Description-md5: fe0ab3beb0e88dcf00ef6dde3984f9e6
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Multi-Arch: same
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug