• Mathematica

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

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

  • Referenced in 517 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • Ada95

  • Referenced in 294 articles [sw01753]
  • Ada is a structured, statically typed, imperative, wide...
  • COMET

  • Referenced in 77 articles [sw03051]
  • Constraint-Based Local Search. The ubiquity of combinatorial...
  • AMPL

  • Referenced in 607 articles [sw04001]
  • AMPL is a comprehensive and powerful algebraic modeling...
  • UCI-ml

  • Referenced in 3266 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • CPLEX

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

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

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

  • Referenced in 685 articles [sw06233]
  • Maude is a high-performance reflective language and...
  • JaCoP

  • Referenced in 21 articles [sw06307]
  • JaCoP is a Java Constraint Programming solver. It...
  • Nuprl

  • Referenced in 390 articles [sw06751]
  • The Nuprl system is a framework for reasoning...
  • JavaScript

  • Referenced in 164 articles [sw06868]
  • JavaScript is a scripting language for computers. It...
  • Chaff

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

  • Referenced in 68 articles [sw08333]
  • Mercury is a logic/functional programming language which combines...
  • CESAR

  • Referenced in 161 articles [sw08510]
  • Specification and verification of concurrent systems in CESAR...
  • Clingo

  • Referenced in 80 articles [sw09893]
  • Potassco, the Potsdam Answer Set Solving Collection, bundles...
  • BayesDA

  • Referenced in 1175 articles [sw11008]
  • BayesDA: Functions and Datasets for the book ”Bayesian...
  • gSpan

  • Referenced in 111 articles [sw11908]
  • gSpan: graph-based substructure pattern mining. We investigate...