- Finn Haedicke of University of Bremen, Germany for fixing namespace specifiers
in CVC4's version of minisat in 2015.
+- Pat Hawks for writing tests for CVC4's Java API.
+
- Thomas Hunger for some important patches to CVC4's SWIG interfaces in March
2014.
- Jordy Ruiz of University of Toulouse for fixing throw specifiers on the theory
output channels in 2015.
-- Fabian Wolff in 2016 for fixing several spelling mistakes.
-
- Clement Pit-Claudel of MIT for improving the signal handling support for
Windows builds in 2017.
+
+- Arjun Viswanathan for improvements in the CVC and the SMT2 parser.
+
+- Fabian Wolff in 2016 for fixing several spelling mistakes.
+
+- Justin Xu for contributing to refactoring CVC4's preprocessing infrastructure.