THANKS.rst

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)