• 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 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

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

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

  • Referenced in 720 articles [sw01209]
  • Macsyma is a general purpose symbolic-numerical-graphical...
  • CP-nets

  • Referenced in 138 articles [sw01374]
  • CP-nets (Condition Preference Nets) is a tool...
  • VAMPIRE

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

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

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

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

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

  • Referenced in 160 articles [sw06302]
  • TPS and ETPS are, respectively, the Theorem Proving...
  • Cadmium

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

  • Referenced in 586 articles [sw06916]
  • Chaff:engineering an efficient SAT solver. Boolean Satisfiability...
  • B-Prolog

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

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

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

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