1 Thanks to Peter Collingbourne and his group (the Multicore Programming Group
2 at Imperial College London) for developing and submitting some patches in
3 September 2012 related to SMT-LIBv2 compliance.
5 Thanks to David Cok of GrammaTech, Inc., for suggesting numerous improvements
6 in CVC4's SMT-LIBv2 compliance in May 2013.