Re: [Toss-devel] Je le prendrai facile

[Lukasz K. <luk...@gm...>]

> 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.

This is all ok, but please keep it separate from Toss.
When the solver is ready, we may integrate and use
it afterwards, but at present Toss is not a solver project.

Lukasz Kaiser