Updated versions of the jSMTLIB user guide, library, and plugin are available at www.grammatech.com/resources/smt Primary changes are corrections and improvements to the adapters that translate SMT-LIBv2 to native formats of non-SMT solvers (simplify, yices, cvc, z3 on Windows & Cygwin). - David Cok