• SMCHR

  • Referenced in 2 articles [sw09322]
  • satisfiability modulo constraint handling rules. Constraint handling rules (CHRs) are a high-level rule-based ... constraint solvers. CHR manipulates a global store representing a flat conjunction of constraints. By default ... this paper we introduce satisfiability modulo constraint handling rules (SMCHR): a tight integration ... propositional structure. SMCHR is essentially a satisfiability modulo theories (SMT) solver where the theory...
  • Maple

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

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

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

  • Referenced in 716 articles [sw01209]
  • Macsyma is a general purpose symbolic-numerical-graphical...
  • PVS

  • Referenced in 620 articles [sw03484]
  • PVS is a verification system: that is, a...
  • CPLEX

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

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

  • Referenced in 842 articles [sw04978]
  • The General Algebraic Modeling System (GAMS) is specifically...
  • Cadmium

  • Referenced in 4 articles [sw06507]
  • Cadmium: an implementation of ACD term rewriting. Cadmium...
  • B-Prolog

  • Referenced in 17 articles [sw06949]
  • B-Prolog is a high-performance implementation of...
  • Scala

  • Referenced in 85 articles [sw07180]
  • Steps in Scala. An introduction to object-functional...
  • OEIS

  • Referenced in 3479 articles [sw07248]
  • The On-Line Encyclopedia of Integer Sequence. The...
  • Predator

  • Referenced in 17 articles [sw07396]
  • Predator: a tool for verification of low-level...
  • VeriFast

  • Referenced in 57 articles [sw07705]
  • The VeriFast program verifier. This note describes a...
  • LLBMC

  • Referenced in 15 articles [sw09478]
  • LLBMC: improved bounded model checking of C programs...
  • SLAyer

  • Referenced in 19 articles [sw09712]
  • SLAyer: Memory Safety for Systems-Level Code. SLAyer...
  • Smallfoot

  • Referenced in 52 articles [sw09787]
  • Smallfoot: Modular automatic assertion checking with separation logic...