Re: [eclipse-clp-users] Integer Set Library: Performance related to initial domain size?

From: Wit Jakuczun <wit.jakuczun_at_...6...>
Date: Sun, 12 Oct 2008 14:43:05 +0200
2008/10/12 Ulrich Scholz <Ulrich.Scholz_at_...10...>:
> Consider the three clauses below.  All require a non-empty set to have an
> empty intersection with itself, thus they all should fail.
> t1 does not fail but yields delayed goals.  So to detect the inconsistency,
> we have to search for a solution.
t1 does not fail because constraint:
C #>= 1
does not change lower bound for variable T. It is still equal to [] and
[] disjoint [] holds.

> Is there a set constraint solver that allows to find such inconsistencies
> symbolically, i.e., without searching for an actual solution?
Do it yourself ;) :
You can do this by using membership_booleans predicate and
imposing that sum of those variables must be greater by 1.

Best regards
[ Wit Jakuczun  w.jakuczun_at_...116... ]
[ WLOG Solutions   ]
Received on Sun Oct 12 2008 - 12:43:12 CEST

This archive was generated by hypermail 2.3.0 : Wed Jul 17 2019 - 15:13:38 CEST