Linux workstation

Upstream software project

minisat2

Minimalistic SAT solver

About minisat2

Minimalistic SAT solver

This project links 9 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): 2 package records; Debian 13 (Trixie): 1 package records; Fedora 43: 3 package records; Fedora 44: 3 package records. Catalog coverage diagram, not an application screenshot.minisat2: recorded package coverageDebian 12 (Bookworm)2 recordsDebian 13 (Trixie)1 recordsFedora 433 recordsFedora 443 records
OpenFactory diagram of linked package records. It is not an application screenshot.

Project identity

Project
minisat2
Publisher
Not authoritatively mapped
Native package records
9
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.

MiniSat is a minimalistic, open-source Boolean satisfiability problem (SAT) solver, developed to help researchers and developers alike to get started on SAT. Together with SatELite, MiniSat was recently awarded in the three industrial categories and one of the "crafted" categories of the SAT 2005 competition. A SAT solver can determine if it is possible to find assignments to boolean variables that would make a given expression true, if the expression is written with only AND, OR, NOT, parentheses, and boolean variables. If the expression is satisfiable, MiniSAT can also produce a set of assignments that make the expression true. Although the problem is NP-complete, SAT solvers (like this one) are often able to decide this problem in a reasonable time frame.

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. minisat

    Debian 12 (Bookworm) / science / source minisat2

    1:2.2.1-5+b3

    Fast and lightweight SAT solver

    amd64arm64bookworm
  2. minisat2

    Debian 12 (Bookworm) / science / source minisat2

    1:2.2.1-5+b3

    Transitional package for minisat

    amd64arm64bookworm

Debian 13 (Trixie)

  1. minisat

    Debian 13 (Trixie) / science / source minisat2

    1:2.2.1-8+b2

    Fast and lightweight SAT solver

    amd64arm64trixie

Fedora 43

  1. minisat2

    Fedora 43 / Unspecified / source minisat2

    2.2.1-22.fc43

    Minimalistic SAT solver

    aarch64x86_6443
  2. minisat2-devel

    Fedora 43 / Unspecified / source minisat2

    2.2.1-22.fc43

    Development files for minisat2

    aarch64i686x86_6443
  3. minisat2-libs

    Fedora 43 / Unspecified / source minisat2

    2.2.1-22.fc43

    Minimalistic SAT solver library

    aarch64i686x86_6443

Fedora 44

  1. minisat2

    Fedora 44 / Unspecified / source minisat2

    2.2.1-23.fc44

    Minimalistic SAT solver

    aarch64x86_6444
  2. minisat2-devel

    Fedora 44 / Unspecified / source minisat2

    2.2.1-23.fc44

    Development files for minisat2

    aarch64i686x86_6444
  3. minisat2-libs

    Fedora 44 / Unspecified / source minisat2

    2.2.1-23.fc44

    Minimalistic SAT solver library

    aarch64i686x86_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.