Undo the duplication of cdcl_sat.hpp since it didn't preserve history #28

Closed michael-veksler closed 7 months ago