• View
• Edit
• History
• Print

Answers

The Stackoverflow.com site carries ECLiPSe-related questions and answers under the eclipse-clp tag. The following are direct links to questions of general interest, answered by ECLiPSe developers.

Modeling in general

• Conditions and alternatives in CP models
• Generated source files
• n-ary or-constraint
• sum-constraints and objectives
• Inequality of lists, missing lex_ne constraint
• Symmetry, excluding permutations
• Modeling a scheduling problem
• N-fractions Puzzle
• Tuple-variables
• List inversions constraints
• Set covering
• Channeling constraints
• Soft constraints
• Traveling Salesman Problem

Modeling particular constraints

• Inequality of lists, missing lex_ne constraint
• List inversions constraints
• Set covering
• Three-in-a-row
• Shikaku - rectangle fitting

Features

• Symbolic domains
• Suspend until list complete
• Using branch-and-bound
• Listing constraints in readable form

Detailed behaviour

• Different levels of propagation with different models
• A list-length constraint

Best practice

• Performance of constraint programs
• Tracing constraint programs
• Conditions and alternatives in CP models
• Generated source files
• Custom labeling
• Timing and benchmarking

Quirks

• Integer division
• Large integer in constraints
• For-loops

Basics and misunderstandings

• less-equal symbol
• Evaluation of array access expressions
• Domain constraint
• What is arc-consistency
• Arrays and subscript

Prolog

• Graph traversal
• Neighbours in a grid
• Plain Prolog Sudoku