Nexus
Home
Science
Politics
Technology
Space
News
Health
Home
Unlabelled
Using Z3 theorem prover to prove equivalence of some bizarre alternative to XOR
Using Z3 theorem prover to prove equivalence of some bizarre alternative to XOR
By
0x000216
Monday, April 20, 2015
Read
Add Comment
Comments
from Hacker News http://ift.tt/1JYO1Za
Using Z3 theorem prover to prove equivalence of some bizarre alternative to XOR
Reviewed by
0x000216
on
Monday, April 20, 2015
Rating:
5
Recent Posts
Facebook