Non linear Binary equations using sat solver

asked 2017-01-04 00:25:06 -0500

How can I solve a set of nonlinear binary equations in SAGE using the sat solver?

edit retag flag offensive close merge delete


Your question is too vague, could you please provide what kind of equations you want to solve (in which form) ?

tmonteil gravatar imagetmonteil ( 2017-01-04 09:00:56 -0500 )edit