We very much welcome any external contribution, for example to improve the documentation to help other users or to add new mutators that allow for novel simplifications.

The easiest way to submit your contribution is to fork ddSMT on github and create a pull request from a branch that contains your changes.

Many thanks to our contributors:

  • Johannes Altmanninger

    • 43fafc1: Several improvements to the documentation

    • c675892: A mutator to eliminate unused datatypes constructors

  • Andres Noetzli

    • 9a04abb: Fixing multiprocessing on MacOS

We also thank the following people for their contributions to previous versions of ddSMT:

  • Jane Lange (2018)

  • Andres Noetzli (2018)