[Bug 348734] kiwi: integrate satsolver for pattern solving