I understand the solver a bit now , enough to hack around the problem causing #354404 .  See the elaborate comment.  No additional test suite errors (i.e. only those from the disabling of locale/language support).
I understand the solver a bit now , enough to hack around the problem causing
#354404 .  See the elaborate comment.  No additional test suite errors
(i.e. only those from the disabling of locale/language support).


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