Note: I can use SMT solver to solve such problem (though theory of integer is not decidable in general case). However just want to know if somehow I can do this in Sage since I don't want to call external SMT.
-- 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
