ddSMT requires Python 3.2 or later (see the README file for further instructions and release notes).


ddSMT serves as an input minimizer for Sat Modulo Theories (SMT) benchmarks in SMT-LIB v2 format. It supports all SMT-LIB v2 logics and has been tested on the SMT-LIB v2 benchmark set.

For bug reports etc., please contact Aina Niemetz.


ddSMT is developed and maintained by Aina Niemetz.
It is released under the GNU GPLv3 License (see file COPYING, which is part of the distribution).