A scala library for interactions with SMT lib 2 compliant SMT solvers.