edu.mit.csail.sdg.alloy4compiler.translator
Classes 
A4Options
A4Options.SatSolver
A4Solution
A4SolutionReader
A4SolutionWriter
A4Tuple
A4TupleSet
Simplifier
TranslateAlloyToKodkod
TranslateKodkodToJava