SAT4J sat 2.3.3 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.

Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.