/in/main.cpp: In function 'int main(int, char**)':
/in/main.cpp:31:24: error: no matching function for call to 'Clause::addLiteral()'
      clause.addLiteral()  ;
                        ^
In file included from /in/compile/cnf.h:15:0,
                 from /in/compile/solver.h:15,
                 from /in/main.cpp:2:
/in/compile/clause.h:58:10: note: candidate: void Clause::addLiteral(Literal)
     void addLiteral(Literal literal);
          ^~~~~~~~~~
/in/compile/clause.h:58:10: note:   candidate expects 1 argument, 0 provided
/in/clause.cpp: In member function 'void Clause::eliminate(Literal)':
/in/clause.cpp:73:7: warning: 'ch' may be used uninitialized in this function [-Wmaybe-uninitialized]
       if (ch==1){
       ^~