Using a SAT Solver to optimize balancers

Circuit-free solutions of basic factory-design to achieve optimal item-throughput.
Involving: Belts (balancers, crossings), Inserters, Chests, Furnaces, Assembling Devices ...
Optimized production chains. Compact design.
Please provide blueprints!
Forum rules
Circuit-free solutions of basic factory-design to achieve optimal item-throughput
Post Reply
deep_remi
Burner Inserter
Burner Inserter
Posts: 12
Joined: Wed Mar 23, 2022 9:17 pm
Contact:

Using a SAT Solver to optimize balancers

Post by deep_remi »

I saw this on Twitter today. Not my creation, but I could not find a discussion about it in the forum. Sorry if it was posted before:
https://github.com/R-O-C-K-E-T/Factorio-SAT

Example of a 16-16 balancer found by the solver, shorter than the previous best known by 1 tile:
https://twitter.com/wren6991/status/1516925406007410690
Image

Qon
Smart Inserter
Smart Inserter
Posts: 1743
Joined: Thu Mar 17, 2016 6:27 am
Contact:

Re: Using a SAT Solver to optimize balancers

Post by Qon »

That's cool! Maybe I should update my N-to-N-belt-belt balancer code (post with img, img) to include these, and maybe clean them up a bit and maybe make bigger than 2048 belt balancers. ;)

But a lot more than just balancers should be solvable. This could be applied to any other constraints and factory building.

FuryoftheStars
Smart Inserter
Smart Inserter
Posts: 1198
Joined: Tue Apr 25, 2017 2:01 pm
Contact:

Re: Using a SAT Solver to optimize balancers

Post by FuryoftheStars »

This is certainly interesting and I thank you for posting it.

I am curious on the throughput potential of the solutions it comes up with, though, in the event of not full inputs or backed up outputs. I think I had read somewhere a discussion taking place that any balancer above 2-2 is not / cannot be UTU, though I don't know where that went to anymore....

Post Reply

Return to “Mechanical Throughput Magic (circuit-free)”