Non linear Binary equations using sat solver
How can I solve a set of nonlinear binary equations in SAGE using the sat solver?
Please start posting anonymously - your entry will be published after you log in or create a new account.
Asked: 2017-01-04 07:25:06 +0100
Seen: 165 times
Last updated: Jan 04 '17
Your question is too vague, could you please provide what kind of equations you want to solve (in which form) ?