sat-solvers on Hacker News: 1 stories with screenshots

Enhancing Factorio with SAT solvers (github.com)

348 points by polivier 2 years ago | 110 comments

GitHub repository for Factorio-SAT, a Python project that uses SAT solvers to generate optimized Factorio designs such as belt balancers.