use integers instead of strings for var names

limo1996 / SAT-Solver

Parallel SAT Solver

8 stars 1 forks source link

Closed ebhardjan closed 6 years ago

ebhardjan commented 6 years ago

in Variable.cpp/Variable.h

limo1996 commented 6 years ago

Whats the reason for that? I can do that...

limo1996 commented 6 years ago

Done. All local tests passes.