zwegner/x86-sat

Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs

4 mentions on Hacker News by 4 people: 3 stories, 1 comment · first 2019-12-20 · latest 2023-05-30

Mentions per year 4 mentions · busiest year 2019 (2)

20082026

All Stories Comments Newest Top Oldest

…less hand heuristic tuning effort (which likely still loses out to current solvers). [1] https://github.com/zwegner/x86-sat [2] https://people.cs.umass.edu/~aabhinav/Publications/Unbounded...
comment by SideQuark · 2023-05-30 · in My first superoptimizer