Factorio-SAT VS balancer

Yes, simply said you can formulate "this contraption is a X by Y balancer" as a SAT problem, which can be solved by a computer. See this example.

8-7 is now 8x14 (inline) instead of 9x13. Discovered by tcosprojects using Factorio-SAT with a parallel SAT solver (more)

A bit unconventional, but the complexity of belts (balancers) grows exponentially, as is demonstrated by this.

Extremely close

I have a different idea to solve this problem inspired by the Factorio SAT solver.

In the Spring 2022 raynquist Balancer Book Update, a SAT Solver was used to generate more optimal balancers. This tool is quite robust (look at the example usages).

Use a 2:3 balancer of which there are many examples but most people use Raynquist's Balancer Book. The blueprint book itself is for blue belts, upgrade/downgrade plan as necessary.

Use a balancer. There are many but the gold standard is Raynquist's Baancer Book for (most) of your any-to-any needs. Also, you need way more furnaces.

Blueprints can be found in my balancer book (blueprint, pictures), which has been updated.

Well, and then there's that balancer book. Because I can not do that in my own, no matter how long I stare at it.

Hey. After a chat with u/raynquist, I now know what I was doing wrong. To make a basic 10-5 balancer, simply connect 5 splitters to the input of a 5-5 balancer, with one belt from each splitter. To make a throughput unlimited 10-5, connect the output splitters from a 10-10 balancer to the input splitters of a 5-5 balancer in the same manner. The blueprints for both are below. Both use balancers available in Raynquist's Fall 2020 balancer book.

I recommend raynquist's balancer book: https://github.com/raynquist/balancer/blob/master/blueprints/balancer_book.txt

Also, raynquist's balancer book.