I want to include more than one namespace in the same .cpp file.
While std widely used, the z3 namespace will be used in approximately 10% of the 25 KLOC files.
Would it be good practice to use both as
using namespace std; using namespace z3;
I am thinking of using only std and then using z3 methods, specifying the name of the slot if necessary. How,
using namespace std; z3::context c; z3::solver s;
Which one is better?
I do not want to rename them to one namespace.
Thank you and welcome, Sukanya
source share