Be a bit more robust with invalid input data (mismatching multi-line tags give a warning only now, but probably unexpected data anyway).
Be a bit more robust with invalid input data (mismatching multi-line
tags give a warning only now, but probably unexpected data anyway).


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