
CLP
 Referenced in 39 articles
[sw05089]
 Clp (Coinor linear programming) is an opensource linear programming solver written...

SWIProlog
 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...

ORtools
 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 nondegenerate 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 XMLprocessing where XML documents...

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

CSProlog
 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]
 clientserver architecture for connecting a CLP process to a Javabased 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 modelchecking...

FortSP
 Referenced in 5 articles
[sw07566]
 decomposition methods. Currently supported solvers include CLP, CPLEX and FortMP, other OSIcompatible 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]
 opensource linear programming package CLP, without explicitly interacting with the underlying C++ layers ... CLP. In the same manner, users can customize the solution process of mixedinteger linear...