• COMET

  • Referenced in 72 articles [sw03051]
  • Constraint-Based Local Search. The ubiquity of combinatorial...
  • z3

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

  • Referenced in 122 articles [sw06170]
  • MONA implementation secrets. The MONA tool provides an...
  • Nuprl

  • Referenced in 389 articles [sw06751]
  • The Nuprl system is a framework for reasoning...
  • TVLA

  • Referenced in 33 articles [sw09878]
  • TVLA: A System for Implementing Static Analyses. We...
  • Datalog

  • Referenced in 282 articles [sw20023]
  • Datalog is a declarative logic programming language that...
  • Localizer

  • Referenced in 19 articles [sw21238]
  • Localizer. Local search is a traditional technique to...