EnglishFrenchSpanish

OnWorks favicon

sat4j - Online in the Cloud

Run sat4j in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

This is the command sat4j that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

PROGRAM:

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.

Use sat4j online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

Linux commands

Ad