On 2014-09-14, Nathann Cohen <[email protected]> wrote: > >> You can also think of your "NO sets" as a set of SAT clauses of the form >> !x_{i_1} || !x_{i_2} || ... || !x_{i_m}, >> and all of them should hold true. > > Indeed, but in order to do that I would need to enumerate them all. In this language, your code enumerates true/false assigments to the variables x_j, so that all these NO clauses hold true. These NO clauses are just an encoding of your "matrix of NOs" that I understood you write out completely. But now you write that you can't do this. Oh well.
-- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
