• HANOIPC3

  • Referenced in 2 articles [sw08996]
  • computer program (HANOIPC3) based on the Tower of Hanoi game that, by analyzing a series...
  • Boolector

  • Referenced in 27 articles [sw00085]
  • Boolector: an efficient SMT solver for bit-vectors...
  • SMT-LIB

  • Referenced in 180 articles [sw04103]
  • SMT-LIB was created with the expectation that...
  • z3

  • Referenced in 487 articles [sw04887]
  • Z3 is a high-performance theorem prover being...
  • OEIS

  • Referenced in 3281 articles [sw07248]
  • The On-Line Encyclopedia of Integer Sequence. The...
  • CVC4

  • Referenced in 102 articles [sw09485]
  • CVC4 is an efficient open-source automatic theorem...