posts/sat-supercompilation #8
Replies: 0 comments 3 replies
-
|
Hi, I am a cryptographer and we use a lot of XORs, therefore we tend to use solvers like cryptominisat that added direct XOR support. Does your experiment implement XOR support, or would it be easy/trivial to add it (without expressing the XOR in terms of ANDs and ORs, which would quickly become too expensive)? |
Beta Was this translation helpful? Give feedback.
2 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
posts/sat-supercompilation
https://hirrolot.github.io/posts/sat-supercompilation.html
Beta Was this translation helpful? Give feedback.
All reactions