2008/10/12 Ulrich Scholz <Ulrich.Scholz_at_eml-d.villa-bosch.de>: > 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_wlogsolutions.com ] [ WLOG Solutions http://wlogsolutions.com ]Received on Sun Oct 12 2008 - 12:43:12 CEST
This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET