Dear all,
I have a set non linear equations over Boolean variables x_1,...,
x_{10000}.
Sat solver gives I=[{x1: 0, x100: 1, .....}]. I am interested to see only
the values
of x1,.., x100. Will you kindly help me ?
--
You received this message because you are subscribed to the Google Groups
"sage-support" 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-support?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
