First time here? Check out the FAQ!
asked 8 years ago
How can I solve a set of nonlinear binary equations in SAGE using the sat solver?