[daisy-roussel-/tmp/d/sat09-21-masuda/minisat_cumr_p-20080318/core] emacs Main.C[daisy-roussel-/tmp/d/sat09-21-masuda/minisat_cumr_p-20080318/core] make clean ; make rs
Compiling: Main.or ( Main.C )
Main.C: In function ‘void parse_DIMACS_main(B&, Solver&) [with B = StreamBuffer]’:
Main.C:182:   instantiated from here
Main.C:162: warning: deprecated conversion from string constant to ‘char*’
Compiling: Solver.or ( Solver.C )
Solver.h: In constructor ‘Solver::Solver()’:
Solver.h:109: warning: ‘Solver::off_th’ will be initialized after
Solver.h:109: warning:   ‘int Solver::on_th_inc’
Solver.C:30: warning:   when initialized here
Solver.C: In member function ‘void Solver::analyze(Clause*, vec<Lit>&, int&)’:
Solver.C:233: warning: comparison between signed and unsigned integer expressions
Linking: minisat_static ( Main.or Solver.or )
[daisy-roussel-/tmp/d/sat09-21-masuda/minisat_cumr_p-20080318/core] 


[daisy-roussel-/tmp/d/sat09-21-masuda/minisat_cumr_r-20080318/core] emacs Main.C 
[daisy-roussel-/tmp/d/sat09-21-masuda/minisat_cumr_r-20080318/core] make clean
Making dependencies ...
[daisy-roussel-/tmp/d/sat09-21-masuda/minisat_cumr_r-20080318/core] make rs
Compiling: Main.or ( Main.C )
Main.C: In function ‘void parse_DIMACS_main(B&, Solver&) [with B = StreamBuffer]’:
Main.C:182:   instantiated from here
Main.C:162: warning: deprecated conversion from string constant to ‘char*’
Compiling: Solver.or ( Solver.C )
Solver.h: In constructor ‘Solver::Solver()’:
Solver.h:106: warning: ‘Solver::off_th’ will be initialized after
Solver.h:106: warning:   ‘int Solver::on_th_inc’
Solver.C:30: warning:   when initialized here
Solver.C: In member function ‘void Solver::analyze(Clause*, vec<Lit>&, int&)’:
Solver.C:233: warning: comparison between signed and unsigned integer expressions
Linking: minisat_static ( Main.or Solver.or )
[daisy-roussel-/tmp/d/sat09-21-masuda/minisat_cumr_r-20080318/core] 


[daisy-roussel-/tmp/d/sat09-36-iser/minisat09z/core] emacs Makefile 
[daisy-roussel-/tmp/d/sat09-36-iser/minisat09z/core] make rs
Compiling: Main.or ( Main.C )
Main.C: In function ‘void parse_DIMACS_main(B&, Solver&) [with B = StreamBuffer]’:
Main.C:182:   instantiated from here
Main.C:162: warning: deprecated conversion from string constant to ‘char*’
Compiling: Solver.or ( Solver.C )
Linking: minisat_static ( Main.or Solver.or )
[daisy-roussel-/tmp/d/sat09-36-iser/minisat09z/core] 


[daisy-roussel-/tmp/d/sat09-41-vanGelder/MiniSat2hack/core] make clean
Making dependencies ...
[daisy-roussel-/tmp/d/sat09-41-vanGelder/MiniSat2hack/core] make rs
Compiling: Main.or ( Main.C )
Main.C: In function ‘void parse_DIMACS_main(B&, Solver&) [with B = StreamBuffer]’:
Main.C:182:   instantiated from here
Main.C:162: warning: deprecated conversion from string constant to ‘char*’
Compiling: Solver.or ( Solver.C )
Linking: minisat_static ( Main.or Solver.or )
[daisy-roussel-/tmp/d/sat09-41-vanGelder/MiniSat2hack/core]


[daisy-roussel-/tmp/d/sat09-49-koshimura/minisat_BinaryClause090321/core] make clean
[daisy-roussel-/tmp/d/sat09-49-koshimura/minisat_BinaryClause090321/core] make rs
Compiling: Main.or ( Main.C )
Main.C: In function ‘void parse_DIMACS_main(B&, Solver&) [with B = StreamBuffer]’:
Main.C:184:   instantiated from here
Main.C:162: warning: deprecated conversion from string constant to ‘char*’
Compiling: Solver.or ( Solver.C )
Linking: minisat_static ( Main.or Solver.or )
[daisy-roussel-/tmp/d/sat09-49-koshimura/minisat_BinaryClause090321/core]

[daisy-roussel-/tmp/d/sat09-54-yaroslavtsev/submit/core] make clean
[daisy-roussel-/tmp/d/sat09-54-yaroslavtsev/submit/core] make rs
Compiling: Main.or ( Main.C )
Main.C: In function ‘void parse_DIMACS_main(B&, Solver&) [with B = StreamBuffer]’:
Main.C:182:   instantiated from here
Main.C:162: warning: deprecated conversion from string constant to ‘char*’
Compiling: Solver.or ( Solver.C )
Linking: aptusat_static ( Main.or Solver.or )
[daisy-roussel-/tmp/d/sat09-54-yaroslavtsev/submit/core]