• Isabelle

  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Mathematica

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

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

  • Referenced in 283 articles [sw00752]
  • QEPCAD B: A program for computing with semi...
  • SCIP

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

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

  • Referenced in 49 articles [sw01801]
  • ConGolog, a concurrent programming language based on the...
  • GOLOG

  • Referenced in 173 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains...
  • Haskell

  • Referenced in 880 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • UCI-ml

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

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

  • Referenced in 108 articles [sw04630]
  • This document provides an introduction to the Answer...
  • Smodels

  • Referenced in 239 articles [sw04631]
  • The Smodels system is an Answer Set Programming...
  • z3

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

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

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

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

  • Referenced in 80 articles [sw06996]
  • Potassco: the Potsdam answer set solving collection. This...