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