1 files changed, 3 insertions, 0 deletions

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.