Ubuntu
cryptominisat package

cryptominisat 5.11.4+dfsg1-2build1 source package in Ubuntu

Changelog

cryptominisat (5.11.4+dfsg1-2build1) lunar; urgency=medium

  * No-change rebuild with Python 3.11 as default

 -- Graham Inggs <email address hidden>  Sun, 25 Dec 2022 19:40:48 +0000

Upload details

Uploaded by:
Graham Inggs
Uploaded to:
Lunar
Original maintainer:
Debian Science Team
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Lunar release universe misc

Downloads

File Size SHA-256 Checksum
cryptominisat_5.11.4+dfsg1.orig.tar.xz 517.8 KiB 1e499b5c975055fffe6ea9a9c0209264949fe910c294d7b90a6df9d6e36e783a
cryptominisat_5.11.4+dfsg1-2build1.debian.tar.xz 5.3 KiB 430ee4c5271d02edf655d0f26b6e3084b96a824747d413e1e8be95e317711cb9
cryptominisat_5.11.4+dfsg1-2build1.dsc 2.4 KiB 6c6a3250b78607397aa015fb813c81166232c68906f7c84e1cd0a3179d08cf45

View changes file

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