cryptominisat

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

Спасибо!