Hi,
On Wed, Sep 03, 2014 at 09:06:49AM +0100, Martin Albrecht wrote:
> Oh, looks like we never implemented that, but we should (it's straight
> forward). This is now:
>
> http://trac.sagemath.org/ticket/16924
Thanks for the answer and for opening the ticket, i was not sure since
it not a p
Oh, looks like we never implemented that, but we should (it's straight
forward). This is now:
http://trac.sagemath.org/ticket/16924
Cheers,
Martin
On Tuesday 02 Sep 2014 22:05:29 Thierry wrote:
> Hi,
>
> looking at this ask question :
> http://ask.sagemath.org/question/24024/satisfying-ass
Hi,
looking at this ask question :
http://ask.sagemath.org/question/24024/satisfying-assignments/ i tried
to turn a propcalc formula into a sat (DIMACS) one since those two sage
modules are intimately related.
The only candidate i found on the propcalc side is the .satformat() but
then i could no
