limo1996/SAT-Solver

Cleanups and Code organization stuff

Opened this issue · 3 comments

ebhardjan commented
  • Move encoding and decoding of model to model class
  • change get_model to get_partial_model in CNF.cpp
  • implement get_model in CNF.cpp, and move the functionality from send_sat solver there
    Regarding the two last points: yes it's super confusing right now
ebhardjan commented

is related to #2

limo1996 commented

Is it free or done or what? I can do it if its still actual...

limo1996 commented

Reorganize files in src/ folder