zwegner/x86-sat
Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
Language: Python
Stars: 76 Issues: 0 Forks: 3
https://github.com/zwegner/x86-sat