Factorio SAT Enhancing the Factorio experience with SAT solvers. How it works A balancer size is selected Tiles get represented as a list of boolean (true/false) variables (input direction, output direction, underground state, splitter side, splitter id, colour) Clauses (rules/constraints) are written to restrict solutions to only valid balancers: Belts don't intersect Colour along a belt is consistent The ends of the balancer have the correct input/output colours For each splitter in the splitt...