SLogic A s(imple) logic library that provides an interface to SMT-solvers supporting quantifier free (non-linear) integer arithmetic (QF_NIA). Supported Solvers minismt yices 2 z3