Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.