Scala library for parsing and printing the SMT-LIB format - View it on GitHub