• CPLEX

  • Referenced in 2650 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • TPTP

  • Referenced in 383 articles [sw04143]
  • The TPTP (Thousands of Problems for Theorem Provers...
  • Walksat

  • Referenced in 207 articles [sw04328]
  • GSAT and WalkSat are local search algorithms to...
  • CUDD

  • Referenced in 148 articles [sw04446]
  • The CUDD package provides functions to manipulate Binary...
  • Mosek

  • Referenced in 420 articles [sw04618]
  • MOSEK is a tool for solving mathematical optimization...
  • FADBAD++

  • Referenced in 57 articles [sw04863]
  • FADBAD++ implements the forward, backward and Taylor methods...
  • z3

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

  • Referenced in 532 articles [sw05492]
  • Higher Order Logic (HOL) is a programming environment...
  • GSL

  • Referenced in 253 articles [sw05883]
  • The GNU Scientific Library (GSL) is a numerical...
  • Stata

  • Referenced in 818 articles [sw06029]
  • Stata is a complete, integrated statistical package that...
  • JBool

  • Referenced in 108 articles [sw06185]
  • This software promotes some general and useful tools...
  • MiniZinc

  • Referenced in 77 articles [sw06261]
  • MiniZinc is a medium-level constraint modelling language...
  • Chaff

  • Referenced in 574 articles [sw06916]
  • Chaff:engineering an efficient SAT solver. Boolean Satisfiability...
  • Potassco

  • Referenced in 73 articles [sw06996]
  • Potassco: the Potsdam answer set solving collection. This...
  • Plingeling

  • Referenced in 59 articles [sw07091]
  • Lingeling, plingeling, picosat and precosat at sat race...
  • Graphplan

  • Referenced in 183 articles [sw07746]
  • Fast planning through planning graph analysis. We introduce...
  • DIMACS

  • Referenced in 546 articles [sw08221]
  • The DIMACS Implementation Challenges address questions of determining...
  • BL data set

  • Referenced in 26 articles [sw08330]
  • Constraint Propagation and Decomposition Techniques for Highly Disjunctive...
  • ALF

  • Referenced in 67 articles [sw08603]
  • The Implementation of ALF - a Proof Editor based...
  • Bloqqer

  • Referenced in 28 articles [sw09578]
  • Blocked clause elimination for QBF. Quantified Boolean formulas...