• MiniSat

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

  • Referenced in 101 articles [sw00798]
  • The RelView-System is an interactive tool for...
  • SageMath

  • Referenced in 1714 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • PRISM

  • Referenced in 417 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • ML

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

  • Referenced in 233 articles [sw01228]
  • COBOL (/ˈkoʊbɒl/, an acronym for common business-oriented...
  • Stratego

  • Referenced in 74 articles [sw01259]
  • Stratego/XT is a language and toolset for program...
  • Graphviz

  • Referenced in 84 articles [sw01283]
  • Graphviz is open source graph visualization software. Graph...
  • FastFDs

  • Referenced in 11 articles [sw01613]
  • FastFDs: A heuristic-driven, depth-first algorithm for...
  • MiniCon

  • Referenced in 19 articles [sw01620]
  • MiniCon: a scalable algorithm for answering queries using...
  • WordNet

  • Referenced in 393 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • IPSEN

  • Referenced in 20 articles [sw02118]
  • IPSEN-environment: An integrated and incremental project support...
  • TANE

  • Referenced in 38 articles [sw02196]
  • TANE: An efficient algorithm for discovering functional and...
  • CASL

  • Referenced in 173 articles [sw02235]
  • The specification language developed by CoFI is called...
  • OTTER

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

  • Referenced in 239 articles [sw02918]
  • Vampire 8.0, [RV02,Vor05] is an automatic theorem...
  • CUDA

  • Referenced in 1212 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...
  • OMRS

  • Referenced in 39 articles [sw03359]
  • Communication protocols for mathematical services based on KQML...
  • SPIN

  • Referenced in 712 articles [sw03455]
  • Spin is a popular open-source software tool...
  • VIATRA2

  • Referenced in 33 articles [sw03511]
  • The model transformation language of the VIATRA2 framework...