/in/main.cpp: In function 'int main(int, char**)':
/in/main.cpp:68:39: warning: comparison with string literal results in unspecified behavior [-Waddress]
         if ((input=="SAT")&&(argv[1]=="ENUM")) killer.solve(C1);
                                       ^~~~~~
/in/main.cpp:69:39: warning: comparison with string literal results in unspecified behavior [-Waddress]
         if ((input=="SAT")&&(argv[1]!="ENUM")) fool.solve(C1);
                                       ^~~~~~
/in/cnf.cpp: In member function 'void CNF::eliminate(Literal)':
/in/cnf.cpp:22:15: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
     for (i=0;i<numClauses;i++) {
              ~^~~~~~~~~~~
/in/cnf.cpp: At global scope:
/in/cnf.cpp:27:36: error: declaration of 'int CNF::evaluate(const int*) const' outside of class is not definition [-fpermissive]
 int CNF::evaluate(const int val[]) const;
                                    ^~~~~
/in/cnf.cpp:28:1: error: expected unqualified-id before '{' token
 {
 ^
/in/cnf.cpp: In member function 'bool CNF::hasUnit() const':
/in/cnf.cpp:49:15: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
     for (i=0;i<numClauses;i++) {
              ~^~~~~~~~~~~
/in/cnf.cpp:50:24: error: 'unsigned int Clause::numLiterals' is private within this context
         if (clauses[i].numLiterals==1)
                        ^~~~~~~~~~~
In file included from /in/cnf.cpp:2:0:
/in/compile/clause.h:51:18: note: declared private here
     unsigned int numLiterals;
                  ^~~~~~~~~~~
/in/cnf.cpp: In member function 'Literal CNF::getUnit() const':
/in/cnf.cpp:58:10: error: 'i' was not declared in this scope
     for (i=0;i<numClauses;i++) {
          ^
/in/cnf.cpp: At global scope:
/in/cnf.cpp:64:49: error: declaration of 'CNF CNF::unitPropagate(Literal, int*) const' outside of class is not definition [-fpermissive]
 CNF CNF::unitPropagate(Literal unit, int val[]) const;
                                                 ^~~~~
/in/cnf.cpp:65:1: error: expected unqualified-id before '{' token
 {
 ^
/in/cnf.cpp: In member function 'void CNF::print() const':
/in/cnf.cpp:75:15: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
     for (i=0;i<numClauses-1;i++) {
              ~^~~~~~~~~~~~~
/in/clause.cpp: In member function 'int Clause::evaluate(const int*) const':
/in/clause.cpp:22:15: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
     for (i=0;i<numLiterals;i++) {
              ~^~~~~~~~~~~~
/in/clause.cpp: In member function 'void Clause::eliminate(Literal)':
/in/clause.cpp:41:15: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
     for (i=0;i<numLiterals;i++) {
              ~^~~~~~~~~~~~
/in/clause.cpp:49:27: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
                 for (j=i;j<numLiterals;j++) {
                          ~^~~~~~~~~~~~
/in/clause.cpp: In member function 'void Clause::print() const':
/in/clause.cpp:71:19: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
         for (i=0;i<numLiterals-1;i++){
                  ~^~~~~~~~~~~~~~
/in/clause.cpp: In member function 'int Clause::evaluate(const int*) const':
/in/clause.cpp:36:1: warning: control reaches end of non-void function [-Wreturn-type]
 }
 ^
/in/clause.cpp:30:21: warning: 'sum' may be used uninitialized in this function [-Wmaybe-uninitialized]
     if ((unknown==0)&&(sum==0))
         ~~~~~~~~~~~~^~~~~~~~~~