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