Talk:Constraint programming

message: What about YAP Prolog? http://www.ncc.up.pt/~vsc/Yap/documentation.html#SEC117 —The preceding unsigned comment was added by 193.136.29.2 (talk • contribs) 00:33, 15 April 2006  (UTC)
:Ok. At some point, this list of logic programming implementations should go to Constraint logic programming. - Liberatore(T) 10:34, 15 April 2006 (UTC)
replies: text: ... and pointers to some relevant programming languages, and/or references to people who study such languages. I've put a stub tag on this article, because of the lack of such things. LjL 14:35, 14 July 2005 (UTC)
thread_title: [Untitled]

message: Proposal:
#  Constraint programming is actually the embedding of constraints of constraint satisfaction problems into a programming language; I would not consider a constraint satisfaction problem itself a form of "constraint program";
# constraint logic programming is a form of constraint programming, but is not the only one
# I would remove the fact that constraint programming is Turing-complete, as this depends on the specific programming paradigm used (in particular, solving a CSP is not a Turing-complete problem)
# the example is about constraint logic programming over finite domains; I would move this example there
Anything missing? - Liberatore(T) 11:23, 9 March 2006 (UTC)
thread_title: Reorganization

message: There seem to be several problems with this article:
* The domains section gives some examples, and then starts talking about "finite domains" -- is this correct? Some of the example domains are infinite, right? e.g. the linear-arithmetic constraints? 
* The implementations section lists tools, such as drools, which supposedly solve such problems, but I'm pretty sure (might be wrong) that most of these tools can't actually solve any of the example domains, and/or would have disasterous performance.
* All of the examples given are standard examples from satisfiability modulo theories, which have nice, clean formalized notions of these domains,and are very fast at solving them ... yet this article barely mentions this.
So I'm confused ... help appreciated.linas (talk) 18:21, 16 June 2011 (UTC)
thread_title:  Domains? Solvers? 

message: What the different between Constrained optimization and Constraint programming? For me, it is the same. Jumpow (talk) 23:15, 27 February 2017 (UTC)
thread_title:  Constrained optimization 

message: Hello fellow Wikipedians,
I have just modified one external link on Constraint programming. Please take a moment to review my edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit this simple FaQ for additional information. I made the following changes:
*Added archive https://web.archive.org/web/20081121170638/http://www.cl-user.net/asp/libs/screamer to http://www.cl-user.net/asp/libs/screamer
When you have finished reviewing my changes, you may follow the instructions on the template below to fix any issues with the URLs.
Cheers.—InternetArchiveBot (Report bug) 13:34, 12 August 2017 (UTC)
thread_title:  External links modified 

message: A non-negativity constraint may be applied very simply to a parameter whose value is to be determined by means of a change of variable. For example, constraining the value of x to be positive may be achieved  by determining the value of a parameter p which is numerically equal to x2. See, for example, Non-linear Optimization Techniques, by M.J. Box, D.Davies and W.H.Swan, published by Oliver & Boyd, Edinburgh, 1969, Chapter 5 "Constrained Optimization" for more examples. This is very useful when the parameter concerned is the value of a physical object which, by its nature, must be a positive number. Petergans (talk) 13:58, 25 January 2019 (UTC)
thread_title:  Non-negativity constraints 

message: This article used to include a list of constraint programming languages (such as AIMMS and Constraint Handling Rules), but this list was deleted in this revision by .
Should a list of constraint languages be included in this article, or should it be included in another article (such as the main list of programming languages by type)? Jarble (talk) 14:21, 27 September 2021 (UTC)
thread_title:  Should this article include a list of constraint programming languages?