GitHub repository: tudo-aqua/jSMTLIB
Primary language: Java
Description: jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to many SMT solvers.