The author of akmaxsat is a good friend of mine. He was excited to hear that an interface to his solver might be added to Sage. So if you need any additional interface in akmaxsat, he should be able to do something about it.
If you start writing a wrapper, please CC me (saraedum) on the ticket — I'd like to help to such efforts. julian * Dima Pasechnik <dimp...@gmail.com> [2012-05-01 09:07:51 +0000]: > 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 sage-devel@googlegroups.com > To unsubscribe from this group, send an email to > sage-devel+unsubscr...@googlegroups.com > For more options, visit this group at > http://groups.google.com/group/sage-devel > URL: http://www.sagemath.org -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org