On 2012-05-01, Tom Boothby wrote:
> At one point, Victor Miller, William Stein and I looked at interfacing
> directly to minisat, but IMO, we stopped due to a lack of a nice
> interface. I've tried to rewrite my SAT approach every time I solve a
> new problem with SAT solvers -- forcing me to ret
At one point, Victor Miller, William Stein and I looked at interfacing
directly to minisat, but IMO, we stopped due to a lack of a nice
interface. I've tried to rewrite my SAT approach every time I solve a
new problem with SAT solvers -- forcing me to rethink it every time.
In general, I've gotte
On 2012-05-01, Martin Albrecht wrote:
> Hi,
>
> On Tuesday 01 May 2012, Dima Pasechnik wrote:
>> Has there been any discussion and/or consensus on how to encode boolean
>> formulae in Sage?
>
> So far the only interfaces to SAT Solvers were fire & forget interfaces for
> Boolean polynomials. Ther
