Описание тега picosat

PicoSAT - это SAT-решатель с обширным API. Он может генерировать доказательства и ядра в памяти.