Сравнение kissat-3.0.0 с kissat-3.1.0

Спасибо!