/in/main.cpp: In function 'int main(int, const char**)':
/in/main.cpp:26:9: error: 'solver' may be used uninitialized in this function [-Werror=maybe-uninitialized]
     repl(cnf,solver);
     ~~~~^~~~~~~~~~~~
cc1plus: all warnings being treated as errors