Ubuntu
cryptominisat package

cryptominisat 5.8.0+dfsg1-1build2 source package in Ubuntu

Changelog

cryptominisat (5.8.0+dfsg1-1build2) hirsute; urgency=medium

  * No-change rebuild for boost soname change.

 -- Matthias Klose <email address hidden>  Sat, 12 Dec 2020 13:05:02 +0100

Upload details

Uploaded by:
Matthias Klose
Uploaded to:
Hirsute
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.8.0+dfsg1.orig.tar.xz 440.7 KiB 1d1658eed6b640cb1886308b516fbc2b91c8a77e0c6f48d609572ade18f42178
cryptominisat_5.8.0+dfsg1-1build2.debian.tar.xz 6.1 KiB cf4c960e1105a93474eecb0b11c2b5e0833e7b7ca283db4771008f4da288014b
cryptominisat_5.8.0+dfsg1-1build2.dsc 2.4 KiB b403c8b6b32fe32cb19495e056a5f91fb4271dc060add2bc2735493f7671820c

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: No summary available for cryptominisat-dbgsym in ubuntu hirsute.

No description available for cryptominisat-dbgsym in ubuntu hirsute.

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: No summary available for python3-cryptominisat in ubuntu hirsute.

No description available for python3-cryptominisat in ubuntu hirsute.

python3-cryptominisat-dbgsym: No summary available for python3-cryptominisat-dbgsym in ubuntu hirsute.

No description available for python3-cryptominisat-dbgsym in ubuntu hirsute.