As I don't want to merge and map local strings, I need to write out the "" too, to be compatible with the SOLV reading code.
As I don't want to merge and map local strings, I need to write out
the "" too, to be compatible with the SOLV reading code.


ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver