Results 1 to 20 of 21
Sort by:

  • 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...