Linux workstation

Upstream software project

sat4j

A library of SAT solvers written in Java

About sat4j

A library of SAT solvers written in Java

This project links 4 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 13 (Trixie): 1 package records; openSUSE Leap 15.6: 1 package records; openSUSE Leap 16.0: 1 package records; openSUSE Tumbleweed: 1 package records. Catalog coverage diagram, not an application screenshot.sat4j: recorded package coverageDebian 13 (Trixie)1 recordsopenSUSE Leap 15.61 recordsopenSUSE Leap 16.01 recordsopenSUSE Tumbleweed1 records
OpenFactory diagram of linked package records. It is not an application screenshot.

Project identity

Project
sat4j
Publisher
Not authoritatively mapped
Native package records
4
Operating systems
debian-13, opensuse-leap-15-6, opensuse-leap-16-0, opensuse-tumbleweed
License expression
EPL-1.0 AND LGPL-2.0-only
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.

The aim of the SAT4J library is to provide an efficient library of SAT solvers in Java. The SAT4J library targets first users of SAT "black boxes", those willing to embed SAT technologies into their application without worrying about the details.

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 13 (Trixie)

  1. sat4j

    Debian 13 (Trixie) / science

    2.3.6-1

    Efficient library of SAT solvers in Java

    alltrixie

openSUSE Leap 15.6

  1. sat4j

    openSUSE Leap 15.6 / Development/Libraries/Java / source sat4j

    2.3.5-150200.3.4.4

    A library of SAT solvers written in Java

    noarchleap-15.6

openSUSE Leap 16.0

  1. sat4j

    openSUSE Leap 16.0 / Development/Libraries/Java / source sat4j

    2.3.5-bp160.1.11

    A library of SAT solvers written in Java

    noarchleap-16.0

openSUSE Tumbleweed

  1. sat4j

    openSUSE Tumbleweed / Development/Libraries/Java / source sat4j

    2.3.5-4.9

    A library of SAT solvers written in Java

    noarchtumbleweed

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.