minisat

Название Категория Описание
boolector sci-mathematics Fast SMT solver for bit-vectors, arrays and uninterpreted functions

Спасибо!