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.
Bertoli, Cimatti, Kornilowicz, Sebastiani)
(Bryant, Seshia, Strichman)
(Armando, Castellini, Giunchiglia)
Giunchiglia, Idini, Maratea)