• CCSP

  • Referenced in 14 articles [sw00111]
  • CCSP: A formal system for distributed program debugging...
  • FGb

  • Referenced in 245 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...
  • Matlab

  • Referenced in 12821 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • R

  • Referenced in 8984 articles [sw00771]
  • R is a language and environment for statistical...
  • TSPLIB

  • Referenced in 679 articles [sw00983]
  • TSPLIB is a library of sample instances for...
  • Walksat

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

  • Referenced in 546 articles [sw04448]
  • LINDO Systems - Optimization Software: Integer Programming, Linear Programming...
  • SATO

  • Referenced in 196 articles [sw04451]
  • SATO: A Solver for Propositional Satisfiability: The Davis...
  • Mosek

  • Referenced in 430 articles [sw04618]
  • MOSEK is a tool for solving mathematical optimization...
  • LINGO

  • Referenced in 308 articles [sw04942]
  • LINGO is a comprehensive tool designed to make...
  • JBool

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

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

  • Referenced in 22 articles [sw07289]
  • Toulbar2 is an exact discrete optimization c++ open...
  • Z-Tree

  • Referenced in 622 articles [sw11707]
  • Z-Tree: Zurich Toolbox for ready-made economic...
  • C4.5

  • Referenced in 1141 articles [sw12176]
  • C4.5: programs for machine learning. (C4.5 has been...