GitHub repository: CyberFlameGO/Factorio-SAT
Description: Enhancing the Factorio experience with SAT solvers