diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-03-14 16:10:37 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-03-19 10:33:32 -0400 |
commit | f72e3a5d8c770aaf0d9424054f2657862741511d (patch) | |
tree | b0f1fd9a3a433a673acc52492d7bc33e884a64a0 | |
parent | 3d645cc84b733042833d6617e5ccfac214e62a75 (diff) |
Minor documentation fixups.
-rw-r--r-- | AUTHORS | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -16,7 +16,7 @@ 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 authors of previous CVC tools is included with their distributions. -CVC4 contains MiniSAT code by Niklas Een and Niklas Sorensson +CVC4 contains MiniSAT code by Niklas Een and Niklas Sorensson. The CVC4 parser incorporates some code from ANTLR3, by Jim Idle, Temporal Wave LLC. @@ -31,4 +31,4 @@ Diego Elio Petteno. CVC4 contains the boost.m4 autoconf module by Benoit Sigoure. CVC4 maintainer versions contain the script autogen.sh, by the -U.S. Army Research Laboratory +U.S. Army Research Laboratory. |