uran: A small engine for creating formulas accepted by SMT solver.
Primary LanguageJavaMIT LicenseMIT