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:
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)