SMT-LIB library for Scala