diff options
author | Clark Barrett <barrett@cs.stanford.edu> | 2017-08-21 17:30:45 -0700 |
---|---|---|
committer | Clark Barrett <barrett@cs.stanford.edu> | 2017-08-21 17:30:45 -0700 |
commit | 0ad2afe61b58725fc74423a5d90976ea9aaa6f73 (patch) | |
tree | 5fe9c191ba3f2bf9fda621df29ef09bf67e946bf /doc/SmtEngine.3cvc_template.in | |
parent | 2e9366d3a9044742f41d254bedfa72b60a217551 (diff) |
Updated NYU -> Stanford
Diffstat (limited to 'doc/SmtEngine.3cvc_template.in')
-rw-r--r-- | doc/SmtEngine.3cvc_template.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/SmtEngine.3cvc_template.in b/doc/SmtEngine.3cvc_template.in index b2b31c333..0c558d8b7 100644 --- a/doc/SmtEngine.3cvc_template.in +++ b/doc/SmtEngine.3cvc_template.in @@ -41,7 +41,7 @@ An issue tracker for the CVC4 project is maintained at .BR https://github.com/CVC4/CVC4/issues . .SH AUTHORS .B CVC4 -is developed by a team of researchers at New York University +is developed by a team of researchers at Stanford University and the University of Iowa. See the AUTHORS file in the distribution for a full list of contributors. |