StackOverflow Questions for Tag: clpfd

Görkem Paçacı

Reputation: 1763

Sicstus CLPFD labeling time discrepancy

prologconstraint-programmingclpfdsicstus-prologclpz

Score: 3

Answers: 1

repeat

Reputation: 18726

Residual constraints with reification in clpfd

prologswi-prologclpfd

Score: 3

Answers: 1

Михаил Будников

Reputation: 9

Is there integer quadratic programming or constraint programming solver supporting integer values about 10^54?

constraint-programmingclpfd

Score: 0

Answers: 1

Hayato

Reputation: 43

How to return general formulas from query?

prologformulaclpfd

Score: 1

Answers: 1

Yui Rio

Reputation: 41

Can reification predicates from CLP(FD) be used to check equality of logic expressions?

prologswi-prologboolean-expressionclpfd

Score: 0

Answers: 1

M.V.

Reputation: 177

How to transform a list of integers (solutions) into a list of continuous intervals

prologclpfd

Score: 0

Answers: 1

fkokosinski

Reputation: 13

CLP(FD): solution number count speedup

prologclpfdclpb

Score: 1

Answers: 1

Yui Rio

Reputation: 41

Matching arithmetic expressions in SWI-Prolog?

prologclpfdinteger-arithmetic

Score: 0

Answers: 0

shaungus

Reputation: 129

Convert peano number s(N) to integer in Prolog

prologclpfdsuccessor-arithmetics

Score: 8

Answers: 4

Alex Rozenman

Reputation: 103

reversible "binary to number" predicate

prologclpfd

Score: 10

Answers: 5

Fery

Reputation: 481

List Length in Prolog

listprologclpfd

Score: 11

Answers: 6

TessellatingHeckler

Reputation: 28963

Can CLPFD distribute things evenly into groups?

prologswi-prologclpfd

Score: 2

Answers: 2

Bart Louwers

Reputation: 932

Solving Tower of Hanoi declaratively (Prolog)

prologdcgclpfddeclarativetowers-of-hanoi

Score: 7

Answers: 4

Avrohom Yisroel

Reputation: 9440

"Syntax error: Operator expected" with CLPFD Prolog

prologclpfdcollatz

Score: 0

Answers: 0

Joseph Garvin

Reputation: 21926

Different ways of expressing collatz conjecture in prolog fail

prologclpfdcollatz

Score: 4

Answers: 1

nich

Reputation: 108

Which operators and predicates can be used with clp(fd)?

prologclpfd

Score: 2

Answers: 2

nich

Reputation: 108

Why does this prolog rule using include/3 evaluate to false, but not when exploding it into individual comparisons?

prologclpfd

Score: 0

Answers: 2

vv270

Reputation: 11

Preserve clpfd constraint variable in findall

prologswi-prologclpfd

Score: 1

Answers: 0

AMINE DZ

Reputation: 25

Why is this code in PROLOG using constraints gives Operator expected syntax error?

prologclpfd

Score: 1

Answers: 1

João Haas

Reputation: 2132

Non-branching version of 'bagof'

prologbacktrackingsudokuclpfd

Score: 1

Answers: 2

PreviousPage 1Next

StackOverflow Questions for Tag: clpfd

Sicstus CLPFD labeling time discrepancy

Residual constraints with reification in clpfd

Is there integer quadratic programming or constraint programming solver supporting integer values about 10^54?

How to return general formulas from query?

Can reification predicates from CLP(FD) be used to check equality of logic expressions?

How to transform a list of integers (solutions) into a list of continuous intervals

CLP(FD): solution number count speedup

Matching arithmetic expressions in SWI-Prolog?

Convert peano number s(N) to integer in Prolog

reversible &quot;binary to number&quot; predicate

List Length in Prolog

Can CLPFD distribute things evenly into groups?

Solving Tower of Hanoi declaratively (Prolog)

&quot;Syntax error: Operator expected&quot; with CLPFD Prolog

Different ways of expressing collatz conjecture in prolog fail

Which operators and predicates can be used with clp(fd)?

Why does this prolog rule using include/3 evaluate to false, but not when exploding it into individual comparisons?

Preserve clpfd constraint variable in findall

Why is this code in PROLOG using constraints gives Operator expected syntax error?

Non-branching version of &#39;bagof&#39;

reversible "binary to number" predicate

"Syntax error: Operator expected" with CLPFD Prolog

Non-branching version of 'bagof'