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