kodkod.engine.fol2sat
Interfaces 
RecordFilter
Classes 
Translation
TranslationLog
TranslationRecord
Translator
Exceptions 
HigherOrderDeclException
TranslationAbortedException
TrivialFormulaException
UnboundLeafException