diff options
Diffstat (limited to 'AUTHORS')
-rw-r--r-- | AUTHORS | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -21,5 +21,7 @@ Temporal Wave LLC. CVC4 contains the doxygen.m4 autoconf module by Oren Ben-Kiki. +CVC4 contains the pkg.m4 autoconf module by Scott James Remnant. + CVC4 maintainer versions contain the script autogen.sh, by the U.S. Army Research Laboratory |