• HYPROLOG

  • Referenced in 14 articles [sw02743]
  • partly borrows syntax from Constraint Handling Rules (CHR) for integrity constraints. Assumptions are a mechanism...
  • LMNtal

  • Referenced in 9 articles [sw07312]
  • unify constraint-based concurrency and Constraint Handling Rules, the two notable extensions to concurrent logic...
  • CHRAnimation

  • Referenced in 3 articles [sw18637]
  • CHRAnimation: an animation tool for constraint handling rules. Visualization tools of different languages offer ... programs of such languages work. Constraint Handling Rules (CHR) is currently used as a general ... still lacking on visualization tools. With Constraint Handling Rules (CHR) being a high-level rule...
  • VAMPIRE

  • Referenced in 200 articles [sw02918]
  • binary resolution and superposition for handling equality. The splitting rule and negative equality splitting ... some costly operations, e.g., checks of ordering constraints. Although the kernel of the system works...
  • SMCHR

  • Referenced in 2 articles [sw09322]
  • SMCHR: satisfiability modulo constraint handling rules. Constraint handling rules (CHRs) are a high-level rule ... programming language for specification and implementation of constraint solvers. CHR manipulates a global store representing ... flat conjunction of constraints. By default, CHR does not support goals with a more complex ... this paper we introduce satisfiability modulo constraint handling rules (SMCHR): a tight integration...
  • Cadmium

  • Referenced in 4 articles [sw06507]
  • Cadmium is a rule based programming language for compiling solver independent constraint models to various ... based on a hybrid between Constraint Handling Rules (CHR) and term rewriting modulo Associativity, Commutativity ... context, such as variable declarations or other constraints. However, CC significantly complicates the Cadmium normalisation ... classic bottom-up evaluation, but modified to handle CC matching. We evaluate the performance...
  • B-Prolog

  • Referenced in 16 articles [sw06949]
  • including matching clauses, action rules for event handling, finite-domain constraint solving, arrays and hash...
  • TCHR

  • Referenced in 3 articles [sw01345]
  • integrates in a light-weight manner Constraint Handling Rules, a high-level language for constraint...
  • CHR

  • Referenced in 3 articles [sw20512]
  • Constraint Handling Rules (CHR) is a committed-choice rule-based language embedded in Prolog ... designed for writing constraint solvers and is particularly useful for providing application-specific constraints...
  • ELAN

  • Referenced in 100 articles [sw02179]
  • design of theorem provers, logic programming languages, constraints solvers and decision procedures and to offer ... rewriting is inherently non-deterministic since several rules can be applied at different positions ... only one result. This declarative handling of non-determinism is part of a strategy language...
  • CHR.js

  • Referenced in 1 article [sw28857]
  • CHR.js: A CHR Implementation in JavaScript. Constraint Handling Rules (CHR) is usually compiled to logic ... ahead-of-time compiler, resulting in synchronous constraint solvers with better performances. Because...
  • Cardinal

  • Referenced in 8 articles [sw06999]
  • constraints, existing set constraint solvers are not adequate to handle a number of problems ... rewriting rules on a constraint store and we illustrate its efficiency with experimental results...
  • DynGenPar

  • Referenced in 1 article [sw06424]
  • PMCFGs). In particular, it supports efficient dynamic rule additions to the grammar at any moment ... tokens. Additionally, we handle constraints on the token following a rule. This allows for grammatically...
  • WinGULF

  • Referenced in 14 articles [sw19224]
  • program are capable of handling up to 1000 main constraints and 1000 nonnegative variables ... developed by B.Martos[1] with various pivoting rules and branch-and-bound procedure (with various...
  • PROTOS-L

  • Referenced in 7 articles [sw02876]
  • external relational databases, and finite domain constraints. The type concept covers user defined sorts, subsort ... well as recursive function free deduction rules can be defined. PROTOS-L also provides ... system. These features as well as file handling, term manipulation etc. are embedded type-safe ... OSF/Motif, and also with the finite domain constraint solver...
  • SONOLAR

  • Referenced in 2 articles [sw26291]
  • constraints to a Boolean formula and lets a SAT solver decide the satisfiability. For handling ... series of word-level simplification rules are applied to the input formula which is then...
  • DCCP

  • Referenced in 3 articles [sw14722]
  • solving nonconvex problems that involve objective and constraint functions that ... convex and concave functions and a few rules for combining them. Problems expressed using ... work on convex-concave programming, specifically the handling of domains of the functions...
  • FARMER

  • Referenced in 3 articles [sw26987]
  • efficiently handle datasets with large number of columns. Moreover, the number of association rules generated ... rules from microarray datasets. Instead of finding individual association rules, FARMER finds interesting rule groups ... rules that are generated from the same set of rows. Unlike conventional rule mining algorithms ... interesting rules in the row enumeration space and exploits all user-specified constraints including minimum...
  • IRIT

  • Referenced in 4 articles [sw21528]
  • many unique features that help in handling freeform geometry including strong symbolic, numeric and algebraic ... using composition), freeform surface decomposition into piecewise ruled and piecewise developable surfaces, and into adaptive ... powerful spline based non-linear constraints solver. The solver is capable of computing the simultaneous...
  • Lpopt

  • Referenced in 1 article [sw21595]
  • programming rules into smaller rules that are easier to handle for current solvers. The tool ... specifically tailored to handle the standard syntax of the ASP language (ASP-Core) and makes ... handle the full ASP syntax, including complex constructs like aggregates, weak constraints, and arithmetic expressions...