Enhancing Factorio with SAT solvers(github.com)
348 points by polivier | 110 comments
GitHub repository for Factorio-SAT, a Python project that uses SAT solvers to generate optimized Factorio designs such as belt balancers.
#belt-balancers on Hacker News
1 story tagged belt-balancers, newest first.