• SCIP

  • Referenced in 536 articles [sw01091]
  • SCIP is currently one of the fastest non...
  • GitHub

  • Referenced in 2340 articles [sw23170]
  • GitHub (originally known as Logical Awesome LLC)[3...
  • Reluplex

  • Referenced in 20 articles [sw31367]
  • Reluplex: An Efficient SMT Solver for Verifying Deep...