i saw this neat github page; someone wrote a SAT solver for Factorio belt bancers
submitted by /u/Robot-Satan
[link] [comments]
Related Articles
