Uses of Class
kodkod.engine.fol2sat.TranslationAbortedException

No usage of kodkod.engine.fol2sat.TranslationAbortedException