/in/cnf.cpp: In member function 'int CNF::evaluate(const int*) const':
/in/cnf.cpp:47:19: error: comparison between signed and unsigned integer expressions [-Werror=sign-compare]
         if(result == -1)
            ~~~~~~~^~~~~
cc1plus: all warnings being treated as errors
/in/clause.cpp: In member function 'int Clause::evaluate(const int*) const':
/in/clause.cpp:33:22: error: comparison between signed and unsigned integer expressions [-Werror=sign-compare]
     for(int i = 0; i < numLiterals; i++){
                    ~~^~~~~~~~~~~~~
/in/clause.cpp: In member function 'void Clause::eliminate(Literal)':
/in/clause.cpp:57:52: error: converting to non-pointer type 'unsigned int' from NULL [-Werror=conversion-null]
                     this->literals[j] = {NULL, NULL};
                                                    ^
cc1plus: all warnings being treated as errors
/in/solver.cpp: In member function 'virtual void enumerative_solver::solve(const CNF&)':
/in/solver.cpp:20:26: error: comparison between signed and unsigned integer expressions [-Werror=sign-compare]
         for(int i = 0; i < cnf.getNumVars(); i++){
                        ~~^~~~~~~~~~~~~~~~~~
cc1plus: all warnings being treated as errors