SAT4J sat 2.3.4 API

User level: stable public API

Package	Description
org.sat4j.sat	Implementation of a sat4j Launcher.
org.sat4j.sat.visu	Implementation of different visualization for the remote control.