Package - cryptominisat
Primary informations
Download package: http://deb.debian.org/debian/pool/main/c/cryptominisat/cryptominisat_5.11.21+dfsg1-2_amd64.deb (Size: 89.2KiB)| Property | Value |
|---|---|
| Package | cryptominisat |
| Version | 5.11.21+dfsg1-2 |
| Installed-Size | 304 |
| Maintainer | Debian Science Maintainers |
| Architecture | amd64 |
| Depends | libc6 (>= 2.38), libcryptominisat5-5.11t64 (>= 5.11.21+dfsg1), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1), zlib1g (>= 1:1.1.4) |
| Description | SAT solver command line interface |
| Description-md5 | 9d0e8e0236146acc2b7957ceba029158 |
| Multi-Arch | foreign |
| Homepage | https://www.msoos.org/ |
| Section | math |
| Priority | optional |
| Filename | pool/main/c/cryptominisat/cryptominisat_5.11.21+dfsg1-2_amd64.deb |
| Size | 91392 |
| MD5sum | ff1e3d021bba7d98015ee7dbdf822385 |
| SHA256 | 7b87f23c69c50e9d9a993aaeb268ec7c20913cc544ee777c47f168fddd6e3e84 |
Files in package
- /usr/bin/cryptominisat
- /usr/bin/cryptominisat5
- /usr/share/doc/cryptominisat/changelog.Debian.gz
- /usr/share/doc/cryptominisat/copyright
- /usr/share/man/man1/cryptominisat.1.gz
- /usr/share/man/man1/cryptominisat5.1.gz
- /usr/share/menu/cryptominisat