From: Morgan Deters <mdeters@gmail.com>
Date: Wed, 5 Sep 2012 20:51:34 +0000 (+0000)
Subject: add a THANKS file for listing external source code contributors
X-Git-Tag: cvc5-1.0.0~7828
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7c0efea7df301c32b56949054973217e41ce31ab;p=cvc5.git

add a THANKS file for listing external source code contributors
---

diff --git a/THANKS b/THANKS
new file mode 100644
index 000000000..b135fe36e
--- /dev/null
+++ b/THANKS
@@ -0,0 +1,3 @@
+Thanks to Peter Collingbourne and his group (the Multicore Programming Group
+at Imperial College London) for developing and submitting some patches in
+September 2012 related to SMT-LIBv2 compliance.