Rename namespace CVC5 to cvc5. (#6258)

13 files changed, 13 insertions, 13 deletions

diff --git a/examples/api/bitvectors.cpp b/examples/api/bitvectors.cpp
index 1cbfdb031..043bbf8aa 100644
--- a/examples/api/bitvectors.cpp
+++ b/examples/api/bitvectors.cpp
@@ -19,7 +19,7 @@
 #include <cvc4/api/cvc4cpp.h>
 
 using namespace std;
-using namespace CVC5::api;
+using namespace cvc5::api;
 
 int main()
 {
diff --git a/examples/api/bitvectors_and_arrays.cpp b/examples/api/bitvectors_and_arrays.cpp
index 5c243e1d1..2bca1eb4c 100644
--- a/examples/api/bitvectors_and_arrays.cpp
+++ b/examples/api/bitvectors_and_arrays.cpp
@@ -20,7 +20,7 @@
 #include <cvc4/api/cvc4cpp.h>
 
 using namespace std;
-using namespace CVC5::api;
+using namespace cvc5::api;
 
 int main()
 {
diff --git a/examples/api/combination.cpp b/examples/api/combination.cpp
index 2651bf80f..9ea2f55ed 100644
--- a/examples/api/combination.cpp
+++ b/examples/api/combination.cpp
@@ -21,7 +21,7 @@
 #include <cvc4/api/cvc4cpp.h>
 
 using namespace std;
-using namespace CVC5::api;
+using namespace cvc5::api;
 
 void prefixPrintGetValue(Solver& slv, Term t, int level = 0)
 {
diff --git a/examples/api/datatypes.cpp b/examples/api/datatypes.cpp
index c2b3bc4c4..49253e466 100644
--- a/examples/api/datatypes.cpp
+++ b/examples/api/datatypes.cpp
@@ -18,7 +18,7 @@
 
 #include <cvc4/api/cvc4cpp.h>
 
-using namespace CVC5::api;
+using namespace cvc5::api;
 
 void test(Solver& slv, Sort& consListSort)
 {
diff --git a/examples/api/extract.cpp b/examples/api/extract.cpp
index a6a43a7c2..760f5d0fe 100644
--- a/examples/api/extract.cpp
+++ b/examples/api/extract.cpp
@@ -19,7 +19,7 @@
 #include <cvc4/api/cvc4cpp.h>
 
 using namespace std;
-using namespace CVC5::api;
+using namespace cvc5::api;
 
 int main()
 {
diff --git a/examples/api/helloworld.cpp b/examples/api/helloworld.cpp
index 89b0e212d..092e2a79a 100644
--- a/examples/api/helloworld.cpp
+++ b/examples/api/helloworld.cpp
@@ -18,7 +18,7 @@
 
 #include <cvc4/api/cvc4cpp.h>
 
-using namespace CVC5::api;
+using namespace cvc5::api;
 
 int main()
 {
diff --git a/examples/api/linear_arith.cpp b/examples/api/linear_arith.cpp
index ca3e8a2b9..b56982daa 100644
--- a/examples/api/linear_arith.cpp
+++ b/examples/api/linear_arith.cpp
@@ -20,7 +20,7 @@
 #include "cvc4/api/cvc4cpp.h"
 
 using namespace std;
-using namespace CVC5::api;
+using namespace cvc5::api;
 
 int main()
 {
diff --git a/examples/api/sequences.cpp b/examples/api/sequences.cpp
index 6272b423b..3498b3275 100644
--- a/examples/api/sequences.cpp
+++ b/examples/api/sequences.cpp
@@ -18,7 +18,7 @@
 
 #include <iostream>
 
-using namespace CVC5::api;
+using namespace cvc5::api;
 
 int main()
 {
diff --git a/examples/api/sets.cpp b/examples/api/sets.cpp
index cac705415..59385896c 100644
--- a/examples/api/sets.cpp
+++ b/examples/api/sets.cpp
@@ -19,7 +19,7 @@
 #include <cvc4/api/cvc4cpp.h>
 
 using namespace std;
-using namespace CVC5::api;
+using namespace cvc5::api;
 
 int main()
 {
diff --git a/examples/api/strings.cpp b/examples/api/strings.cpp
index b926395de..53352d266 100644
--- a/examples/api/strings.cpp
+++ b/examples/api/strings.cpp
@@ -18,7 +18,7 @@
 
 #include <cvc4/api/cvc4cpp.h>
 
-using namespace CVC5::api;
+using namespace cvc5::api;
 
 int main()
 {
diff --git a/examples/api/sygus-fun.cpp b/examples/api/sygus-fun.cpp
index a29cdb132..be4d3e8d5 100644
--- a/examples/api/sygus-fun.cpp
+++ b/examples/api/sygus-fun.cpp
@@ -49,7 +49,7 @@
 
 #include <iostream>
 
-using namespace CVC5::api;
+using namespace cvc5::api;
 
 int main()
 {
diff --git a/examples/api/sygus-grammar.cpp b/examples/api/sygus-grammar.cpp
index 6491dc0a5..61b00f6de 100644
--- a/examples/api/sygus-grammar.cpp
+++ b/examples/api/sygus-grammar.cpp
@@ -46,7 +46,7 @@
 
 #include <iostream>
 
-using namespace CVC5::api;
+using namespace cvc5::api;
 
 int main()
 {
diff --git a/examples/api/sygus-inv.cpp b/examples/api/sygus-inv.cpp
index 206803eb6..56b5a0aaa 100644
--- a/examples/api/sygus-inv.cpp
+++ b/examples/api/sygus-inv.cpp
@@ -37,7 +37,7 @@
 
 #include <iostream>
 
-using namespace CVC5::api;
+using namespace cvc5::api;
 
 int main()
 {