[SMT-LIB] New SMT debugging tools available

[Clark Barrett]

Many of you saw the report from Robert Brummayer and Armin Biere at SMT this
year in which they found an impressive number of bugs in SMT solvers using
fuzzing techniques.  Robert has graciously made the fuzzer, delta-debugger (for
minimizing the size of failure-causing formulas), and other tools available to
the SMT community.  They are now available via a link on the SMT-LIB Utilities
web page:

http://www.smtlib.org/utilities.html

or directly from:

http://fmv.jku.at/software/index.html#smttools

Many of us have already vowed never to make a new release without first running
these tools!

-Clark