GitHub repository: zwegner/x86-sat
Primary language: Python
Created: 2019-12-17T00:29:14Z
Description: Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs