cryptominisat 5.8.0+dfsg1-2 source package in Ubuntu

Changelog

cryptominisat (5.8.0+dfsg1-2) unstable; urgency=medium

  * Try to make the build reproducible (Closes: #1003993).
  * Bump standards-version to 4.6.0.
  * Document reproducible-build.patch as Debian-specific.

 -- Julien Puydt <email address hidden>  Tue, 22 Feb 2022 14:17:45 +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
Kinetic release universe misc
Jammy release universe misc

Downloads

File Size SHA-256 Checksum
cryptominisat_5.8.0+dfsg1-2.dsc 2.4 KiB 10aceca40908d4d4247c4edd9987e044a4fdb8653d43f9160eccd0fb1588c806
cryptominisat_5.8.0+dfsg1.orig.tar.xz 440.7 KiB 1d1658eed6b640cb1886308b516fbc2b91c8a77e0c6f48d609572ade18f42178
cryptominisat_5.8.0+dfsg1-2.debian.tar.xz 6.1 KiB cc55a518449703e3d2695cc59a3fcaeb4cf908aa73d207596800843c1d0be69a

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.8: 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.8-dbgsym: debug symbols for libcryptominisat5-5.8
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