---
name: "sat4j"
section: "1"
platform: "linux"
package: "sat4j"
version: "2.3.6-1"
release: "Debian 13 (Trixie)"
platforms: ["linux"]
url: "https://new.carta.tech/sat4j"
---

# sat4j(1)

efficient library of SAT solvers in Java

## NAME

sat4j - efficient library of SAT solvers in Java

## SYNOPSIS

**sat4j** *input-file*

## DESCRIPTION

This manual page documents briefly the **sat4j** command.

**sat4j** is an efficient library for SAT solvers written in Java.

An initial set of documentation can be found at http://www.sat4j.org/doc.php (in particular the "getting started guide" is recommended). This documentation is not shipped in the package as it is not DFSG-free.

## AUTHOR

sat4j was written by Daniel Le Berre.

This manual page was written by Michael Tautschnig \<mt@debian.org\>, for the Debian project (but may be used by others).