• CLP

  • Referenced in 39 articles [sw05089]
  • Clp (Coin-or linear programming) is an open-source linear programming solver written...
  • SWI-Prolog

  • Referenced in 48 articles [sw20950]
  • have added several interfaces and the constraint (CLP) libraries. Commercial involvement has created the initial...
  • cc(FD)

  • Referenced in 18 articles [sw21237]
  • extension of the Constraint Logic Programming (CLP) scheme [21]. Its constraint solver includes (nonlinear) arithmetic ... operational expressiveness, extensibility, and flexibility of CLP languages and allow issues such as the definition...
  • OR-tools

  • Referenced in 20 articles [sw14807]
  • mixed integer programming solvers, including CBC, CLP, GLOP, GLPK, Gurobi, CPLEX, SCIP, and Sulum. Knapsack...
  • CLICAL

  • Referenced in 17 articles [sw20733]
  • exterior algebra. CLICAL works on Clifford algebras Clp,q of real non-degenerate quadratic spaces...
  • CLP(Flex)

  • Referenced in 7 articles [sw28534]
  • CLP(Flex): Constraint Logic Programming Applied to XML Processing. In this paper we present ... implementation of a constraint solving module, CLP(Flex), for dealing with unification in an equality ... symbols. Then we present an application of CLP(Flex) to XML-processing where XML documents...
  • wamcc

  • Referenced in 11 articles [sw06519]
  • designed to be easily extended (see clp(FD), for example). WAMCC’s speed is halfway...
  • CS-Prolog

  • Referenced in 7 articles [sw00171]
  • unification based constraint solver Constraint logic programming (CLP) is a promising extension of standard PROLOG ... implementation is smaller (1,500 lines) than CLP system implemented in C (12,000 lines...
  • Punf

  • Referenced in 10 articles [sw04416]
  • passed as an input to the CLP model checker...
  • XASP

  • Referenced in 5 articles [sw13876]
  • building up a constraint store in CLP, and periodically evaluating that store, but integration with ... less transparent in XASP than in CLP. In XASP, clauses must be explicitly added ... store upon backtracking, unlike constraints in CLP. The XNMR interpreter provides a second, somewhat more...
  • CLPGUI

  • Referenced in 5 articles [sw14834]
  • client-server architecture for connecting a CLP process to a Java-based GUI process ... control method based on annotations in the CLP program. Arbitrary constraints and goals...
  • Cgl

  • Referenced in 6 articles [sw12222]
  • such as, among others, the linear solver Clp or the mixed integer linear programming solvers...
  • Newton

  • Referenced in 6 articles [sw21236]
  • declarative nature of constraint logic programming (CLP) languages over intervals with advanced interval techniques developed...
  • TCHR

  • Referenced in 5 articles [sw01345]
  • TCHR: a framework for tabled CLP. Tabled Constraint Logic Programming is a powerful execution mechanism...
  • Moby/DC

  • Referenced in 5 articles [sw01395]
  • procedures or by a link to CLP(R). Due to the parameters the model-checking...
  • FortSP

  • Referenced in 5 articles [sw07566]
  • decomposition methods. Currently supported solvers include CLP, CPLEX and FortMP, other OSI-compatible solvers...
  • CLP

  • Referenced in 2 articles [sw32164]
  • CLP: MATLAB code for Colourful Linear Programming...
  • SIMP

  • Referenced in 2 articles [sw09936]
  • using techniques based on constraint logic programming (CLP). We consider a simple imperative language, called ... interpreter I written as a CLP program. The first phase of our verification method consists...
  • VIFID/TRIFID

  • Referenced in 2 articles [sw14758]
  • programming paradigms, such as Constraint Logic Programming (CLP), whose declarative and operational semantics differ ... discuss techniques for visualising data evolution in CLP. We briefly review some previously proposed visualisation...
  • CyLP

  • Referenced in 2 articles [sw24590]
  • open-source linear programming package CLP, without explicitly interacting with the underlying C++ layers ... CLP. In the same manner, users can customize the solution process of mixed-integer linear...