Print solver's version

pothitos · Jun 27, 2017 · 725da95 · 725da95
1 parent 308c020
commit 725da95
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/apps/XCSP3/naxos-xcsp3.cpp b/apps/XCSP3/naxos-xcsp3.cpp
@@ -51,6 +51,7 @@ int main(int argc, char* argv[])
                 if (argc == 3 && string(argv[2]) == "-v") {
                         verbose = true;
                 } else if (argc != 2) {
+                        cerr << "Naxos Solver 1.1.0\n";
                         cerr << "Usage: " << argv[0] << " BENCHNAME\n";
                         return 1;
                 }