Has there been any discussion and/or consensus on how to encode boolean formulae in Sage?
I, incidentally, need to solve some MAXSAT problems from Sage-generated data, and am musing about writing a proper interface to akmaxsat, see http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.190/Mitarbeiter/kuegel/akmaxsat_1.1.tgz which has a Sage-compatible licence, by the way... Dima -- To post to this group, send an email to [email protected] To unsubscribe from this group, send an email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
