A s(imple) logic library that provides an interface to SMT-solvers supporting quantifier free (non-linear) integer arithmetic (QF_NIA).