Package org.ginsim.service.export.sat

Class Summary

Class	Description
SATConfig
SATEncoder	Exports a Regulatory graph into a SAT model description.
SATExportService	GINsim export service capable of encoding the model properties into a SAT specification in CNF.

Enum Summary

Enum	Description
SATExportType