/in/main.cpp: In function 'int main(int, const char**)':
/in/main.cpp:20:9: error: 'strcmp' was not declared in this scope
     if(!strcmp(argv[1],"ENUM")) solver = getEnum();
         ^~~~~~
/in/main.cpp:20:9: note: suggested alternative: 'strtoq'
     if(!strcmp(argv[1],"ENUM")) solver = getEnum();
         ^~~~~~
         strtoq
/in/main.cpp:21:9: error: 'strcmp' was not declared in this scope
     if(!strcmp(argv[1],"DEDUCT")) solver = getDeduct();
         ^~~~~~
/in/main.cpp:21:9: note: suggested alternative: 'strtoq'
     if(!strcmp(argv[1],"DEDUCT")) solver = getDeduct();
         ^~~~~~
         strtoq
/in/clause.cpp: In member function 'void Clause::eliminate(Literal)':
/in/clause.cpp:54:20: error: suggest parentheses around comparison in operand of '&' [-Werror=parentheses]
     if(numLiterals == 0 & value == -1) value = 0;
        ~~~~~~~~~~~~^~~~
cc1plus: all warnings being treated as errors
/in/solver.cpp: In member function 'void enumSolver::proceedVal(int)':
/in/solver.cpp:23:18: error: comparison between signed and unsigned integer expressions [-Werror=sign-compare]
             if(i != length && carry == 0) break;
                ~~^~~~~~~~~
/in/solver.cpp: In member function 'void enumSolver::printVal(int)':
/in/solver.cpp:35:28: error: comparison between signed and unsigned integer expressions [-Werror=sign-compare]
         for(unsigned i=0; i<length; i++){
                           ~^~~~~~~
/in/solver.cpp:37:17: error: comparison between signed and unsigned integer expressions [-Werror=sign-compare]
             if(i<length-1) cout<<" ";
                ~^~~~~~~~~
/in/solver.cpp: In member function 'void deductSolver::printVal(int)':
/in/solver.cpp:81:28: error: comparison between signed and unsigned integer expressions [-Werror=sign-compare]
         for(unsigned i=0; i<length; i++){
                           ~^~~~~~~
/in/solver.cpp:83:17: error: comparison between signed and unsigned integer expressions [-Werror=sign-compare]
             if(i<length-1) cout<<" ";
                ~^~~~~~~~~
/in/solver.cpp: In member function 'virtual void deductSolver::solve(const CNF&)':
/in/solver.cpp:111:31: error: comparison between signed and unsigned integer expressions [-Werror=sign-compare]
                 for(int i=0; i<current.getNumVars(); i++){
                              ~^~~~~~~~~~~~~~~~~~~~~
cc1plus: all warnings being treated as errors