L lab.whitequark.org Synthesizing optimal 8051 code with an SMT solver (2020) 96 points pkkm 3 years ago 9 comments
