On: Show HN: Factorio Learning Environment – Agents Build Factories

[fragmede]

someone approached that problem with a more traditional SAT solver

https://github.com/R-O-C-K-E-T/Factorio-SAT