Linux workstation

Upstream software project

cryptominisat

SAT solver

About cryptominisat

SAT solver

This project links 16 native package records across 4 recorded operating-system releases. Compare the retained versions and architectures below, then open the package for your own release.

These are catalog observations, not a guarantee of installation, compatibility, or upstream support.

Visit project website

Project pictures and package coverage

Debian 12 (Bookworm): 4 package records; Debian 13 (Trixie): 4 package records; Fedora 43: 4 package records; Fedora 44: 4 package records. Catalog coverage diagram, not an application screenshot.cryptominisat: recorded package coverageDebian 12 (Bookworm)4 recordsDebian 13 (Trixie)4 recordsFedora 434 recordsFedora 444 records
OpenFactory diagram of linked package records. It is not an application screenshot.

Project identity

Project
cryptominisat
Publisher
Not authoritatively mapped
Native package records
16
Operating systems
debian-12, debian-13, fedora-43, fedora-44
License expression
MIT
Metadata completeness
100/100 (not a software quality rating)
Homepage
Visit upstream site
Source repository
Not reported

Source-reported description

The fullest retained description is shown with its source. Distribution packaging descriptions may include downstream details.

CryptoMiniSat is a modern, multi-threaded, feature-rich, simplifying SAT solver. Highlights: - Instance simplification at every point of the search (inprocessing) - Over 100 configurable parameters to tune to specific needs - Collection of statistical data to MySQL database + javascript-based visualization of it - Clean C++ and python interfaces

Description source

Packages by operating system

Compare recorded versions, then open a package for dependency, file, checksum, and repository evidence. Version strings are distribution-specific, not a ranking of newer software.

Debian 12 (Bookworm)

  1. cryptominisat

    Debian 12 (Bookworm) / math / source cryptominisat

    5.11.4+dfsg1-2+b1

    SAT solver command line interface

    amd64arm64bookworm
  2. libcryptominisat5-5.11

    Debian 12 (Bookworm) / libs / source cryptominisat

    5.11.4+dfsg1-2+b1

    SAT solver library

    amd64arm64bookworm
  3. libcryptominisat5-dev

    Debian 12 (Bookworm) / libdevel / source cryptominisat

    5.11.4+dfsg1-2+b1

    development files for the CryptoMiniSat SAT solver

    amd64arm64bookworm
  4. python3-cryptominisat

    Debian 12 (Bookworm) / python / source cryptominisat

    5.11.4+dfsg1-2+b1

    Python bindings for the CryptoMiniSat SAT solver (Python 3)

    amd64arm64bookworm

Debian 13 (Trixie)

  1. cryptominisat

    Debian 13 (Trixie) / math

    5.11.21+dfsg1-2

    SAT solver command line interface

    amd64arm64trixie
  2. libcryptominisat5-5.11t64

    Debian 13 (Trixie) / libs / source cryptominisat

    5.11.21+dfsg1-2

    SAT solver library

    amd64arm64trixie
  3. libcryptominisat5-dev

    Debian 13 (Trixie) / libdevel / source cryptominisat

    5.11.21+dfsg1-2

    development files for the CryptoMiniSat SAT solver

    amd64arm64trixie
  4. python3-cryptominisat

    Debian 13 (Trixie) / python / source cryptominisat

    5.11.21+dfsg1-2

    Python bindings for the CryptoMiniSat SAT solver (Python 3)

    amd64arm64trixie

Fedora 43

  1. cryptominisat

    Fedora 43 / Unspecified / source cryptominisat

    5.13.0-3.fc43

    SAT solver

    aarch64x86_6443
  2. cryptominisat-devel

    Fedora 43 / Unspecified / source cryptominisat

    5.13.0-3.fc43

    Header files for developing with cryptominisat

    aarch64x86_6443
  3. cryptominisat-libs

    Fedora 43 / Unspecified / source cryptominisat

    5.13.0-3.fc43

    Cryptominisat library

    aarch64x86_6443
  4. python3-pycryptosat

    Fedora 43 / Unspecified / source cryptominisat

    5.13.0-3.fc43

    Python 3 interface to cryptominisat

    aarch64x86_6443

Fedora 44

  1. cryptominisat

    Fedora 44 / Unspecified / source cryptominisat

    5.14.7-1.fc44

    SAT solver

    aarch64x86_6444
  2. cryptominisat-devel

    Fedora 44 / Unspecified / source cryptominisat

    5.14.7-1.fc44

    Header files for developing with cryptominisat

    aarch64x86_6444
  3. cryptominisat-libs

    Fedora 44 / Unspecified / source cryptominisat

    5.14.7-1.fc44

    Cryptominisat library

    aarch64x86_6444
  4. python3-pycryptosat

    Fedora 44 / Unspecified / source cryptominisat

    5.14.7-1.fc44

    Python 3 interface to cryptominisat

    aarch64x86_6444

Project resources and further reading

Mapping provenance

Only source-backed identity signals create public cross-OS links. A reviewer can later approve or dispute an inferred relationship without rewriting native package history.

No field-level source record is published yet.