Submitted 2 years ago by bot@lemmy.smeargle.fans [bot] to hackernews@lemmy.smeargle.fans
https://hirrolot.github.io/posts/sat-supercompilation.html
HN Discussion