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