0

Non linear Binary equations using sat solver

edit

• 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.