diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-10-11 17:06:16 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-10-11 17:06:16 +0000 |
| commit | 559710702e4df3ddaac4905705cf93c08502984b (patch) | |
| tree | b650ed201246f650a5220d9fa7e01fd8fe62498b /README | |
| parent | ee65bafc737d36eaabb871c016e6756aef5bd115 (diff) | |
Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's
just the header comments at the top, though. Don't update to this rev if
you don't have time for a complete rebuild, and exclude this rev if you
want to see what's new across a range of commits.
(this commit was certified error- and warning-free by the test-and-commit script.)
Diffstat (limited to 'README')
| -rw-r--r-- | README | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -2,10 +2,10 @@ This is CVC4 release version 1.0. For build and installation notes, please see the INSTALL file included with this distribution. This first official release of CVC4 is the result of more than three -years of efforts by researchers at New York University and the +years of efforts by researchers at New York University and The University of Iowa. The project leaders are Clark Barrett (New York -University) and Cesare Tinelli (University of Iowa). For a full list -of authors, please refer to the AUTHORS file in the source +University) and Cesare Tinelli (The University of Iowa). For a full +list of authors, please refer to the AUTHORS file in the source distribution. CVC4 is a tool for determining the satisfiability of a first order |