First time here? Check out the FAQ!
asked 2017-01-04 07:25:06 +0100
How can I solve a set of nonlinear binary equations in SAGE using the sat solver?