Add THANKS file - Githubissues

ddsmt / ddSMT

A delta debugger for SMT benchmarks in SMT-LIB v2.

https://ddsmt.readthedocs.io

Other

50 stars 17 forks source link

Closed nafur closed 3 years ago

nafur commented 3 years ago

Add a THANKS file and include it in the documentation, together with some nice words that we welcome external contributions.