Package org.ginsim.servicegui.export.sat

Class Summary

Class	Description
SATExportConfigPanel
SATExportServiceGUI	GINsim export service capable of encoding the model properties into a SAT specification in CNF.