Basic SAT model of x86 instructions using Z3, autogenerated from Intel docsgithub.com/zwegner3 pointsmpweiher7 years ago