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