NEWS

   1 This file contains a summary of important user-visible changes.
   2
   3 Changes since 1.0
   4 =================
   5
   6 * tuple and record support in the compatibility library
   7 * user patterns are now supported in the SMT-LIBv1.2 parser
   8 * SMT-LIB get-model output now is easier to machine-parse: contains (model...)
   9 * Win32 support via mingw
  10
  11 -- Morgan Deters <mdeters@cs.nyu.edu>  Mon, 28 Jan 2013 15:26:24 -0500