So I've found the CryptoMiniSat solver implementation (optional package)<http://trac.sagemath.org/sage_trac/ticket/418> and managed to install it, but can't find any documentation on its' usage. Also I happend to find some mentions about different SAT solvers interfaces integrated into Sage but had problems with figuring out what is actually ready for use and how it can be used. I would appreciate any help and hints on using SAT solvers in Sage.
Thanks. -- To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
