g++: error: /in/main.cpp: No such file or directory
g++: error: /in/cnf.cpp: No such file or directory
g++: error: /in/clause.cpp: No such file or directory
g++: error: /in/solver.cpp: No such file or directory