Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.programming > #16944
| From | Julio Di Egidio <julio@diegidio.name> |
|---|---|
| Newsgroups | comp.lang.prolog, comp.programming |
| Subject | Re: Stronger CLP/FD sum consistency? (SWI-Prolog) |
| Date | 2026-10-24 13:57 +0200 |
| Organization | A noiseless patient Spider |
| Message-ID | <11bi6ev$2jpln$2@dont-email.me> (permalink) |
| References | <11bi62j$2jpln$1@dont-email.me> |
Cross-posted to 2 groups.
On 24/10/2026 13:50, Julio Di Egidio wrote: > We have boolean variables A,B,C,D and sum constraints on > two subsets of those. It is not difficult to figure out > that that is enough to fix variable A, but CLP/FD doesn't > see it: Sorry, of course I have extracted a minimal example, which actually can fix variables A and B. I hope that doesn't make the post confusing: the problem is the same. -Julio
Back to comp.programming | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Stronger CLP/FD sum consistency? (SWI-Prolog) Julio Di Egidio <julio@diegidio.name> - 2026-10-24 13:50 +0200 Re: Stronger CLP/FD sum consistency? (SWI-Prolog) Julio Di Egidio <julio@diegidio.name> - 2026-10-24 13:57 +0200 Re: Stronger CLP/FD sum consistency? (SWI-Prolog) Julio Di Egidio <julio@diegidio.name> - 2026-10-24 15:10 +0200
csiph-web