Package: python3-cryptominisat
Architecture: amd64
Version: 5.11.21+dfsg1-1build1
Multi-Arch: same
Priority: optional
Section: universe/python
Source: cryptominisat
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: 1633
Depends: python3 (<< 3.14), python3 (>= 3.13~), libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1)
Filename: pool/universe/c/cryptominisat/python3-cryptominisat_5.11.21+dfsg1-1build1_amd64.deb
Size: 623018
MD5sum: 4cd2971671cbdcfe075eddcf0b86011c
SHA1: 6af9923fed6df7a6a9c678ec3c456a5938a7829d
SHA256: 86512109b6560a8399b4e1002f78e6bddc159cd244e77805d1c40d59d28801fe
SHA512: 83a689fa903bc3087655b67360ef74bfdeb0c8bdc02dc6e05be72ddc9380766d6a5e067bb679aabef30661ace4355fff9f936ec0db0ced6fb037d1e923032779
Homepage: https://www.msoos.org/
Description: Python bindings for the CryptoMiniSat SAT solver (Python 3)
Description-md5: fe0ab3beb0e88dcf00ef6dde3984f9e6