/in/cnf.cpp: In member function 'void CNF::eliminate(Literal)':
/in/cnf.cpp:20:22: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
     for(int i = 0; i < numClauses; i++){
                    ~~^~~~~~~~~~~~
/in/cnf.cpp: In member function 'int CNF::evaluate(const int*) const':
/in/cnf.cpp:28:22: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
     for(int i = 0; i < numClauses; i++){
                    ~~^~~~~~~~~~~~
/in/cnf.cpp: In member function 'bool CNF::hasUnit() const':
/in/cnf.cpp:36:22: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
     for(int i = 0; i < numClauses; i++){
                    ~~^~~~~~~~~~~~
/in/cnf.cpp: In member function 'Literal CNF::getUnit() const':
/in/cnf.cpp:43:22: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
     for(int i = 0; i < numClauses; i++){
                    ~~^~~~~~~~~~~~
/in/cnf.cpp: In member function 'void CNF::print() const':
/in/cnf.cpp:57:22: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
     for(int i = 0; i < numClauses - 1; i++){
                    ~~^~~~~~~~~~~~~~~~
/in/cnf.cpp: In member function 'Literal CNF::getUnit() const':
/in/cnf.cpp:46:1: warning: control reaches end of non-void function [-Wreturn-type]
 }
 ^
/in/clause.cpp: In member function 'int Clause::evaluate(const int*) const':
/in/clause.cpp:21:22: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
     for(int i = 0; i < numLiterals; i++){
                    ~~^~~~~~~~~~~~~
/in/clause.cpp: In member function 'void Clause::eliminate(Literal)':
/in/clause.cpp:34:22: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
     for(int i = 0; i < numLiterals; i++){
                    ~~^~~~~~~~~~~~~
/in/clause.cpp:38:43: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
                     for (int j = i + 1; j < numLiterals; j++) {
                                         ~~^~~~~~~~~~~~~
/in/clause.cpp: In member function 'void Clause::print() const':
/in/clause.cpp:60:26: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
         for(int i = 0; i < numLiterals - 1; i++){
                        ~~^~~~~~~~~~~~~~~~~
/in/solver.cpp: In function 'Solver* getEnum()':
/in/solver.cpp:20:1: warning: no return statement in function returning non-void [-Wreturn-type]
 }
 ^
/in/solver.cpp: In function 'Solver* getDeduct()':
/in/solver.cpp:24:1: warning: no return statement in function returning non-void [-Wreturn-type]
 }
 ^