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.

 



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