diff options
author | Morgan Deters <mdeters@gmail.com> | 2009-11-12 20:38:10 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2009-11-12 20:38:10 +0000 |
commit | 13a6669a35aee32c03f8d29fe386aca95d2fbd8f (patch) | |
tree | b126afb6c384dd45db0249e8096cf733a74daa95 /AUTHORS | |
parent | 5b5474281c4cdc880bff8b9e38b84dc84f88e50c (diff) |
parser, minisat, other things..
Diffstat (limited to 'AUTHORS')
-rw-r--r-- | AUTHORS | 39 |
1 files changed, 34 insertions, 5 deletions
@@ -1,8 +1,37 @@ The core authors and designers of CVC4 are: -Clark Barrett <barrett@cs.nyu.edu>, New York University -Christopher Conway <cconway@cs.nyu.edu>, New York University -Morgan Deters <mdeters@cs.nyu.edu>, New York University -Tim King <taking@cs.nyu.edu>, New York University -Dejan Jovanovic <dejan@cs.nyu.edu>, New York University + Clark Barrett <barrett@cs.nyu.edu>, New York University + Christopher Conway <cconway@cs.nyu.edu>, New York University + Morgan Deters <mdeters@cs.nyu.edu>, New York University + Yeting Ge <yeting@cs.nyu.edu>, New York University + Tim King <taking@cs.nyu.edu>, New York University + Mina Jeong <mjeong@cs.nyu.edu>, New York University + Dejan Jovanovic <dejan@cs.nyu.edu>, New York University +The following individuals contributed code to CVC3 that may have been incorporated into CVC4: + + Clark Barrett, New York University + Christopher Conway <cconway@cs.nyu.edu>, New York University + Alexander Fuchs, University of Iowa + Yeting Ge, New York Univeristy + George Hagen, University of Iowa + Dejan Jovanovic <dejan@cs.nyu.edu>, New York University + +The following individuals contributed code to CVC Lite that may have been incorporated in CVC4: + + Clark Barrett, New York University + Sergey Berezin, Stanford University + Cristian Cadar, Stanford University + Jake Donham, New York University + Yeting Ge, New York Univeristy + Vijay Ganesh, Stanford University + Deepak Goyal, Calypto + Ying Hu, New York University + Sean McLaughlin, New York University + Mehul Trivedi, Stanford University + Michael Veksler, Technion, Israel + Daniel Wichs, Stanford University + Mark Zavislak, Stanford University + Jim Zhuang, Stanford University + +CVC4 contains MiniSAT code by Niklas Een and Niklas Sorensson |