SMT Solvers

This is a (rigorously alphabetically ordered!) list of solvers which can be used to check the (un-)satisfiability of the DTP; some of them have actually been used, some of them have not. I also list the authors of the solver, and give at least one web page (usually the corresponding author), so that if you want to retrieve the solver you have a starting point.

If your favourite solver is capable of solving (part of) the proposed benchmarks, please let me know so that I can include it in the list below.

As well, if your solver is listed but any reference about it is wrong or incomplete, please let me know.