[PATCH 0/5] a few more solver fixups and improvementsmailto:meta@public-inbox.org2019-02-22T08:50:17ZEric Wonge@80x24.org[PATCH 0/5] a few more solver fixups and improvements2019-01-31T04:27:25Zurn:uuid:d2273186-82cd-f555-f9e3-1bbb5eb3d5d2