• Coq

  • Referenced in 1856 articles [sw00161]
  • Coq is a formal proof management system. It...
  • c-sat

  • Referenced in 8 articles [sw00168]
  • Parallelizing modern SAT solvers for clusters such as...
  • KANT/KASH

  • Referenced in 156 articles [sw00481]
  • KASH/KANT is a computer algebra system (CAS) for...
  • PSPLIB

  • Referenced in 267 articles [sw00740]
  • PSPLIB -- a project scheduling problem library. We present...
  • R

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

  • Referenced in 176 articles [sw01061]
  • ALBERTA is an Adaptive multiLevel finite element toolbox...
  • SCIP

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

  • Referenced in 316 articles [sw02904]
  • Our current automated deduction system Otter is designed...
  • CHIP

  • Referenced in 82 articles [sw03450]
  • Solving a cutting-stock problem with the constraint...
  • CPLEX

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

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

  • Referenced in 188 articles [sw04969]
  • Prover9 and Mace4: Prover9 is an automated theorem...
  • Stata

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

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

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

  • Referenced in 217 articles [sw06905]
  • finite model-finder Mace4. Mace4 is a program...
  • Sat4j

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

  • Referenced in 551 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...
  • Zinc

  • Referenced in 26 articles [sw08334]
  • The design of the zinc modelling language. Zinc...