- Referenced in 2 articles
- computer program (HANOIPC3) based on the Tower of Hanoi game that, by analyzing a series...
- Referenced in 27 articles
- Boolector: an efficient SMT solver for bit-vectors...
- Referenced in 180 articles
- SMT-LIB was created with the expectation that...
- Referenced in 487 articles
- Z3 is a high-performance theorem prover being...
- Referenced in 3281 articles
- The On-Line Encyclopedia of Integer Sequence. The...
- Referenced in 102 articles
- CVC4 is an efficient open-source automatic theorem...
- Referenced in 44 articles
- The mathsat5 SMT solver. MathSAT is a long...
- Referenced in 37 articles
- The teaching tool CalcCheck: a proof-checker for...