• TACO

  • Referenced in 7 articles [sw07668]
  • instrument code analysis with a symmetry-breaking predicate which, on one hand, reduces the size...
  • Shatter

  • Referenced in 6 articles [sw21225]
  • space are broken by adding appropriate symmetry-breaking predicates (SBPs) to a SAT instance ... satisfiability of the CNF formula. For symmetry breaking to be effective in practice, the computational...
  • SymChaff

  • Referenced in 6 articles [sw00938]
  • many limitations of alternative approaches like symmetry breaking predicates, implicit pseudo-Boolean representations, general group...
  • gmp

  • Referenced in 282 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • Maple

  • Referenced in 5369 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6343 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

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

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

  • Referenced in 609 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • R

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

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

  • Referenced in 30 articles [sw01247]
  • Alloy: A new technology for software modelling. Alloy...
  • NP-SPEC

  • Referenced in 20 articles [sw02243]
  • NP-SPEC: An executable specification language for solving...
  • CPLEX

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

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

  • Referenced in 320 articles [sw04419]
  • The convex hull of a point set P...
  • SATO

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

  • Referenced in 38 articles [sw04622]
  • Reads as input both: CNF constraints, PB constraints...
  • mctoolbox

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

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