cryptominisat 5.11.4+dfsg1-2 source package in Ubuntu
Changelog
cryptominisat (5.11.4+dfsg1-2) unstable; urgency=medium * Team upload. * Include cmake files in -dev package (needed for cvc5) -- Scott Talbert <email address hidden> Thu, 03 Nov 2022 14:49:01 -0400
Upload details
- Uploaded by:
- Debian Science Team
- Uploaded to:
- Sid
- Original maintainer:
- Debian Science Team
- Architectures:
- any
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| cryptominisat_5.11.4+dfsg1-2.dsc | 2.4 KiB | 037e37b859a3b205f07e4c65145d216a037f22db4b52073b9816a6a07a59f225 |
| cryptominisat_5.11.4+dfsg1.orig.tar.xz | 517.8 KiB | 1e499b5c975055fffe6ea9a9c0209264949fe910c294d7b90a6df9d6e36e783a |
| cryptominisat_5.11.4+dfsg1-2.debian.tar.xz | 5.2 KiB | 31f352b63ee43614c287171fc67798070749845001df61e76ce5a7ab484cee15 |
Available diffs
- diff from 5.8.0+dfsg1-2 to 5.11.4+dfsg1-2 (546.2 KiB)
No changes file available.
Binary packages built by this source
- cryptominisat: SAT solver command line interface
CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.
.
This package provides a command line interface which reads SAT formulas in
conjunctive normal form in the DIMACS format with the extension of XOR
clauses and decides whether they are satisfiable.
- cryptominisat-dbgsym: debug symbols for cryptominisat
- libcryptominisat5-5.11: SAT solver library
CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.
.
This package provides a shared library to link against the CryptoMiniSat
library.
- libcryptominisat5-5.11-dbgsym: debug symbols for libcryptominisat5-5.11
- libcryptominisat5-dev: development files for the CryptoMiniSat SAT solver
CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.
.
This package provides C++ header files to interface with CryptoMiniSat. See
https://github. com/msoos/ cryptominisat# library- usage for some examples. This
package also includes the experimental cryptominisat_c.h header to interface
with CryptoMiniSat from C.
- python3-cryptominisat: Python bindings for the CryptoMiniSat SAT solver (Python 3)
CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.
.
This package provides the pycryptosat module to use CryptoMiniSat from Python
3. See https://github. com/msoos/ cryptominisat# python- usage for examples.
- python3-cryptominisat-dbgsym: debug symbols for python3-cryptominisat
