ASKSAGE: Sage Q&A Forum - RSS feedhttps://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Wed, 04 Jan 2017 16:00:56 +0100Non linear Binary equations using sat solverhttps://ask.sagemath.org/question/36165/non-linear-binary-equations-using-sat-solver/ How can I solve a set of nonlinear binary equations in SAGE using the sat solver?Wed, 04 Jan 2017 07:25:06 +0100https://ask.sagemath.org/question/36165/non-linear-binary-equations-using-sat-solver/Comment by tmonteil for <p>How can I solve a set of nonlinear binary equations in SAGE using the sat solver?</p>
https://ask.sagemath.org/question/36165/non-linear-binary-equations-using-sat-solver/?comment=36172#post-id-36172Your question is too vague, could you please provide what kind of equations you want to solve (in which form) ?Wed, 04 Jan 2017 16:00:56 +0100https://ask.sagemath.org/question/36165/non-linear-binary-equations-using-sat-solver/?comment=36172#post-id-36172