| Tag: smt-solver 2 packages with this tag | ||
| « Back to VersTracker | All Categories | All Tags | Related: bit-vector formal-verification solver c-library theorem-prover verification bitvectors formal-methods | ||
| Package | Description | Version |
|---|---|---|
| boolector ☆ formula | SMT solver for fixed-size bit-vectors | 3.2.4 |
| stp ☆ formula | Simple Theorem Prover, an efficient SMT solver for bitvectors | |