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 |
| Название | Категория | Описание |
|---|---|---|
| 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 |