Ubuntu
cryptominisat package

cryptominisat 5.11.15+dfsg1-1 source package in Ubuntu

Changelog

cryptominisat (5.11.15+dfsg1-1) unstable; urgency=medium

  * New upstream release.
  * Drop patch for gcc 13 (now unneeded).
  * Bump standards-version to 4.6.2.
  * Fix clean target (Closes: #1044932).

 -- Julien Puydt <email address hidden>  Thu, 14 Dec 2023 10:26:35 +0100

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 Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
cryptominisat_5.11.15+dfsg1-1.dsc 2.4 KiB cb0aef9eb97fae029836ebc87a8cb1cf00b1188fe21df86d91100095e57cd5d9
cryptominisat_5.11.15+dfsg1.orig.tar.xz 463.7 KiB 225ce75c8cda834e4e10c8260b1a0c6e6a836a8249ac293403aa660a35767f65
cryptominisat_5.11.15+dfsg1-1.debian.tar.xz 5.3 KiB 50c513792beb796597b11fc50a333c0e7de17a6dca9991752d417830cdbdc270

Available diffs

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: No summary available for libcryptominisat5-5.11 in ubuntu noble.

No description available for libcryptominisat5-5.11 in ubuntu noble.

libcryptominisat5-5.11-dbgsym: No summary available for libcryptominisat5-5.11-dbgsym in ubuntu noble.

No description available for libcryptominisat5-5.11-dbgsym in ubuntu noble.

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