SAT4J sat 2.3.2 API

User level: stable public API

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