[SMT-LIB] SMT tools collection

[Tjark Weber]

Christoph,

On Mon, 2016-09-05 at 12:23 +0000, Christoph Wintersteiger wrote:
> Are there any plans to start a public collection of SMT-related tools? I'm thinking along the lines of a Python script collection on GitHub.

There is a collection of links at
http://smtlib.cs.uiowa.edu/utilities.shtml

> Another example that just came up with one of our users, is a script
> that would translate incremental benchmarks into (many) non-incremental
> ones.

The SMT-COMP benchmark scrambler
http://smtcomp.sourceforge.net/2016/smtcomp2016_scrambler.tar.gz 
has an "unfold" mode to do this. (Disclaimer: I haven't tried this mode
myself.)

Best,
Tjark