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 part of the code that i know well. Ciao, Thierry > 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-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 not figure out how to use this string to create a DIMACS > > instance. Looking at the DIMACS class, it seems there are only methods > > to write DIMACS files, but i could not find anything to read such files. > > > > Any hint ? > > > > Ciao, > > Thierry -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.