# Non linear Binary equations using sat solver

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

Asked: **
2017-01-04 00:25:06 -0600
**

Seen: **105 times**

Last updated: **Jan 04 '17**

What software does Sage use to solve linear equations ?

linux binary seems to be source

Is there a server (ftp server?) that keeps old sage binaries?

SAT Math Level 2 Subject Test Sample Question #19 [closed]

Binary variable in mixed integer linear program

How to convert an integer to fixed length binary string in Sage?

Can I define a symbolic equation where the variables are concatenating?

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.

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