From 3f3c38e4d1a9aa2b820760a678e42ea85b027259 Mon Sep 17 00:00:00 2001 From: Haniel Barbosa Date: Tue, 20 Jul 2021 14:36:41 -0300 Subject: [PATCH] [AUTHORS] Add CVC4 as part of CVC series (#6907) --- AUTHORS | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/AUTHORS b/AUTHORS index 2b3e244c5..8726b6e2d 100644 --- a/AUTHORS +++ b/AUTHORS @@ -38,8 +38,8 @@ Alumni: Other contributors to the cvc5 codebase are listed in the THANKS file. -cvc5 is the fifth in the CVC series of tools (CVC, CVC Lite, CVC3) but does -not directly incorporate code from any previous version prior to CVC4. +cvc5 is the fifth in the CVC series of tools (CVC, CVC Lite, CVC3, CVC4) but +does not directly incorporate code from any previous version prior to CVC4. Information about authors of previous CVC tools is included with their distributions. -- 2.30.2