• MiniZinc

  • Referenced in 85 articles [sw06261]
  • MiniZinc is a medium-level constraint modelling language. It is high-level enough to express...
  • SCIP

  • Referenced in 536 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...
  • COMET

  • Referenced in 80 articles [sw03051]
  • language, COMET, that supports both modeling and search abstractions in the spirit of constraint programming...
  • MINION

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

  • Referenced in 46 articles [sw21227]
  • Numerica: A modeling language for global optimization. Many science and engineering applications require the user ... nonlinear constraints or to optimize a nonlinear function subject to nonlinear constraints. The field ... 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...
  • OPL

  • Referenced in 34 articles [sw21239]
  • notations from mathematical modeling languages with a rich constraint language and the ability to specify...
  • ESRA

  • Referenced in 11 articles [sw22238]
  • ESRA, a relational language for modelling combinatorial problems. Current-generation constraint programming languages are considered ... high-level relational constraint modelling leads to a simpler and smaller language, to more concise ... well as to more efficient and effective model formulation, maintenance, reformulation, and verification. All this ... this, we propose the ESRA relational constraint modelling language, showcase its elegance on some well...
  • BIOCHAM

  • Referenced in 45 articles [sw09927]
  • logic constraints. Biocham is mainly composed of : a rule-based language for modeling biochemical systems ... based language to formalize the temporal properties of a biological system and validate models with ... models, including the inference of kinetic parameters in high dimension from temporal logic constraints. Biocham...
  • FlatZinc

  • Referenced in 9 articles [sw06262]
  • MiniZinc is a medium-level constraint modelling language. It is high-level enough to express...
  • RealPaver

  • Referenced in 51 articles [sw04401]
  • from various fields: interval fixed-point operators, constraint propagation and local consistency techniques, local optimization ... library along with modeling and solving problems. A mathematical modeling language...
  • BLOG

  • Referenced in 41 articles [sw22025]
  • illustrates BLOG, a formal language for defining probability models over worlds with unknown objects ... acyclicity constraints, every BLOG model specifies a unique probability distribution over first-order model structures ... exist for a large fragment of the language. We also introduce a probabilistic form...
  • Rules2CP

  • Referenced in 5 articles [sw06255]
  • general purpose rule-based modeling language for constraint programming. It aims at making constraint programming ... easier to use by non-programmers, by modeling combinatorial optimization problems with logical rules ... specific problems. The Packing Knowledge Modeling Language PKML is such a library developed ... packing problems taking into account extra placement constraints and specific industrial requirements. The Rules2CP compiler...
  • Pyomo

  • Referenced in 65 articles [sw04910]
  • approach supported by modern AML (algebraic modeling language) tools. Pyomo is a flexible, extensible ... full-featured scripting language. Python is a powerful and dynamic programming language that ... formulate algebraic expressions that define objectives and constraints. Moreover, Pyomo can be used from ... which makes it easy to create Pyomo models, apply a variety of optimizers, and examine...
  • Scarab

  • Referenced in 3 articles [sw07397]
  • based systems. It provides a rich constraint modeling language on Scala and enables a programmer ... specify problems and to experiment with different modelings. Scarab also provides a simple ... enumeration, and dynamic addition and/or removal of constraints. In Scarab, we can use integer variables...
  • HIP

  • Referenced in 29 articles [sw09786]
  • programs. The specification language allows user defined inductive predicates used to model complex data structures ... Specifications can contain both heap constraints and various pure constraints like arithmetic constraints, bag constraints...
  • Zinc

  • Referenced in 25 articles [sw08334]
  • modelling language. Zinc is a new modelling language developed as part of the G12 project ... important characteristics. First, Zinc allows specification of models using a natural mathematical-like notation ... constraints. Second, while Zinc is a relatively simple and small language, it can be readily ... different application areas by means of powerful language constructs such as user-defined predicates...
  • LyriC

  • Referenced in 6 articles [sw17365]
  • LyriC language: Querying constraint objects. We propose a novel data model and its language ... where objects may hold spatial, temporal or constraint data, conceptually represented by linear equality...
  • ECOS

  • Referenced in 58 articles [sw12123]
  • solving optimization problems with second-order cone constraints (SOCPs). This includes linear (LPs), quadratic ... interfaces to the following programming and modeling languages: CVX (Michael Grant), YALMIP (Johan Löfberg), Julia...
  • MiningZinc

  • Referenced in 4 articles [sw19070]
  • First, the MiningZinc language allows for high-level and natural modeling of mining problems ... first translated into a normalized constraint language (FlatZinc). Rewrite rules are then used ... mining algorithms or generic constraint programming solvers. Given a model, different execution strategies are automatically ... combined.par Thus, the MiningZinc language allows one to model constraint-based itemset mining problems...
  • CC-Pi

  • Referenced in 29 articles [sw15033]
  • Constraint-Based Language for Specifying Service Level Agreements. Service Level Agreements are a key issue ... this work we propose a simple model of contracts for QoS and SLAs that also ... language combines two basic programming paradigms: name-passing calculi and concurrent constraint programming (cc programming...