Non linear Binary equations using sat solver

binary
SAT
solver

asked 2017-01-04 07:25:06 +0100

RADEON360
1

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

edit retag flag offensive close merge delete

Comments

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

tmonteil ( 2017-01-04 16:00:56 +0100 )edit

add a comment

Be the first one to answer this question!

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

Stats

Asked: 2017-01-04 07:25:06 +0100

Seen: 256 times

Last updated: Jan 04 '17

Related questions

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.

Non linear Binary equations using sat solver edit