diff options
| author | Clark Barrett <barrett@cs.nyu.edu> | 2015-05-12 13:56:00 -0700 |
|---|---|---|
| committer | Clark Barrett <barrett@cs.nyu.edu> | 2015-05-12 13:56:00 -0700 |
| commit | dcb85a122a2dc9c80c2626ba6ab83f97d7e983ad (patch) | |
| tree | da0b35afb80855b13ea306b51cac2a43c7810243 /AUTHORS | |
| parent | 63da8b80c77ef405d84c0faa1e31323c7cc01540 (diff) | |
Added Finn Haedicke as a contributor.
Diffstat (limited to 'AUTHORS')
| -rw-r--r-- | AUTHORS | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -22,6 +22,7 @@ Contributors to the CVC4 codebase additionally include: Peter Collingbourne, the Multicore Programming Group at Imperial College London (headed by Alastair Donaldson) + Finn Haedicke, University of Bremen, Germany CVC4 is the fourth in the CVC series of tools (CVC, CVC Lite, CVC3) but does not directly incorporate code from any previous version. Information about |