Undo the cuplication of cdcl_sat.hpp since it didn't preserve history #29

Closed michael-veksler closed 9 months ago