• ELAN

  • Referenced in 108 articles [sw02179]
  • design of theorem provers, logic programming languages, constraints solvers and decision procedures and to offer ... design of theorem provers, logic programming languages, constraints solvers and decision procedures and to offer ... main originality of the language is to provide strategy constructors to specify whether a function...
  • Oz

  • Referenced in 117 articles [sw06799]
  • high-level programming language combining constraint inference with concurrency. Typical application areas of Oz include ... reasoning and knowledge representation, processing of natural language, simulations, multi agent systems, and sophisticated graphical ... exceptions and sequential threads synchronizing over a constraint store. It supports finite domain and feature...
  • MiniZinc

  • Referenced in 105 articles [sw06261]
  • MiniZinc is a medium-level constraint modelling language. It is high-level enough to express ... most constraint problems easily, but low-level enough that it can be mapped onto existing ... language Zinc. We hope it will be adopted as a standard by the Constraint Programming...
  • ILOG SCHEDULE

  • Referenced in 77 articles [sw21243]
  • account any constraint expressible in the constraint language; efficient in as much as highly optimised...
  • COMET

  • Referenced in 80 articles [sw03051]
  • variety of combinatorial problems, and rich constraint programming languages have been developed for expressing ... search, using constraints to describe and control local search, and a programming language, COMET, that...
  • PROGRES

  • Referenced in 70 articles [sw02905]
  • Integrity constraints in the multi-paradigm language PROGRES. PROGRES is a multi-paradigm visual programming ... executable specification language, which has a well-defined static type concept. It supports programming with ... integration of static integrity constraints to the language which allow to check a specification ... important design decisions such as when constraints have to be checked and what happens...
  • CHIP

  • Referenced in 82 articles [sw03450]
  • cutting-stock problem with the constraint logic programming language CHIP...
  • OPL

  • Referenced in 34 articles [sw21239]
  • mathematical modeling languages with a rich constraint language and the ability to specify search procedures ... strategies that are the essence of constraint programming. This paper describes the facilities available...
  • SCIP

  • Referenced in 554 articles [sw01091]
  • MINLP). It is also a framework for constraint integer programming and branch-cut-and-price ... contains the LP solver SoPlex, the modelling language ZIMPL, the parallelization framework...
  • Elf

  • Referenced in 44 articles [sw21361]
  • Meta-Language. Elf is a constraint logic programming language based on the LF Logical Framework...
  • cc(FD)

  • Referenced in 18 articles [sw21237]
  • Design, implementation, and evaluation of the constraint language cc(FD). This paper describes the design ... implementation, and applications of the constraint logic language cc(FD). cc(FD) is a declarative ... nondeterministic constraint logic language over finite domains based on the cc framework [33], an extension ... definition of nonprimitive constraints and disjunctions to be tackled at the language level. The implementation...
  • MINION

  • Referenced in 53 articles [sw10176]
  • with an expressive input language based on the common constraint modelling device of matrix models...
  • Essence

  • Referenced in 22 articles [sw27491]
  • Essence: A constraint language for specifying combinatorial problems. Essence is a formal language for specifying...
  • CC-Pi

  • Referenced in 30 articles [sw15033]
  • Constraint-Based Language for Specifying Service Level Agreements. Service Level Agreements are a key issue ... language combines two basic programming paradigms: name-passing calculi and concurrent constraint programming (cc programming...
  • HOL-OCL

  • Referenced in 21 articles [sw05734]
  • from an embedding of the Object Constraint Language (OCL) in higher-order logic, we explore...
  • HAMPI

  • Referenced in 21 articles [sw09864]
  • regular languages and bounded context-free languages. Hampi constraints may contain context-free-language definitions ... regular-language definitions and operations, and the membership predicate. Given a set of constraints, Hampi...
  • Ciao

  • Referenced in 52 articles [sw12088]
  • general-purpose programming language which supports logic, constraint, functional, higher-order, and object-oriented programming...
  • SALSA

  • Referenced in 30 articles [sw02661]
  • yielding hybrid algorithms with constraints. Such combinations lack a language supporting an elegant description ... original declarativity of Constraint Logic Programming. We propose a language, SALSA, dedicated to specifying (local...
  • ARMC

  • Referenced in 28 articles [sw04949]
  • constraint-based programming language may lead to an elegant and concise implementation of a practical ... investigation. Using a Prolog system together with Constraint Logic Programming extensions as the implementation platform...
  • Numerica

  • Referenced in 46 articles [sw21227]
  • Numerica: A modeling language for global optimization. Many science and engineering applications require the user ... find solutions to systems of nonlinear constraints or to optimize a nonlinear function subject ... nonlinear constraints and all global optima to optimization problems. Numerica is modeling language for global ... found in textbooks and scientific papers. The constraint-solving algorithm of Numerica is based...