Re: [Toss-devel] Je le prendrai facile
Status: Beta
Brought to you by:
lukaszkaiser
From: Lukasz S. <luk...@gm...> - 2009-09-11 21:49:04
|
Sorry I haven't pressed "reply to all" again. On Fri, Sep 11, 2009 at 11:37 PM, Lukasz Kaiser<luk...@gm...> wrote: >> I've decided that interfacing with Gecode is too difficult for me: too >> much glue, and (partly due to not enough reification support) very >> cumbersome with disjunction constraints. >> >> Instead, I'll use FaCiLe: > > This is all ok, but I do not see that FaCiLe has > support for what we need most: quantifiers. > This is the hardest, not the easiest part, so for > the near future we are staying with sKizzo, > did I understand right? > I'll fall back on sKizzo if there is an universal quantifier. I'll also make it configurable so that upon choice sKizzo might be used exclusively. That's for the near term, perhaps I'll write a simple version of Qecode over FaCiLe. |