[SMT-LIB] A beginner's question about Wintersteiger's benchmark

[Martin Brain]

On Thu, 2015-11-26 at 12:39 +0000, Christoph Wintersteiger wrote:
> Martin: Speaking of which - did you/we plan to release a nice FPA SMT2 fuzzer type of tool? Maybe I should dust off that old generator...

Tim King had did some work on this one of the times he visited us; I'm
not sure of the current status.  Tim?

Cheers,
 - Martin