• LAPACK

  • Referenced in 1599 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Matlab

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

  • Referenced in 524 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • SDPLIB

  • Referenced in 60 articles [sw00838]
  • SDPLIB 1. 2, a library of semidefinite programming...
  • SCIP

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

  • Referenced in 23 articles [sw01980]
  • HySAT: An efficient proof engine for bounded model...
  • CPLEX

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

  • Referenced in 107 articles [sw04123]
  • In 1995, HyTech broke new ground as a...
  • HyTech

  • Referenced in 321 articles [sw04125]
  • HyTech is an automatic tool for the analysis...
  • Netlib

  • Referenced in 63 articles [sw04368]
  • The Netlib repository contains freely available software, documents...
  • LINDO

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

  • Referenced in 122 articles [sw04802]
  • Feasibility pump 2.0. Finding a feasible solution of...
  • mctoolbox

  • Referenced in 1362 articles [sw04827]
  • The Matrix Computation Toolbox is a collection of...
  • z3

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

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

  • Referenced in 440 articles [sw05095]
  • MINOS is a large-scale optimization system, for...
  • Sat4j

  • Referenced in 72 articles [sw07283]
  • The Sat4j library, release 2.2 system description. Sat4j...
  • DIMACS

  • Referenced in 503 articles [sw08221]
  • The DIMACS Implementation Challenges address questions of determining...
  • RunLim

  • Referenced in 2 articles [sw08838]
  • RunLim: This is a tool for sampling and...
  • MathSAT

  • Referenced in 56 articles [sw09449]
  • The MathSAT 4 SMT Solver. We present MathSAT...