История изменений
Исправление SZT, (текущая версия) :
Я так понял, что эти солверы ищут корректную модель, отвечающую всем всем условиям.
Солверы могут еще искать что некое условие всегда выполняется. Кванторы всеобщности, кванторы существования, логика первого порядка, вот это все
Исходная версия SZT, :
Я так понял, что эти солверы ищут корректную модель, отвечающую всем всем условиям.
Солверы могут еще, искать что некое условие всегда выполняется. Кванторы всеобщности, кванторы существования, вот это все