highfleet-ship-opt VS Factorio-SAT

This is my favorite pastime as well! Well done. I've also dipped my toes in the "over engineer a game" with:

A highfleet ship optimizer which chooses optimal module sets using ILP at

https://hfopt.jodavaho.io

And a hunt showdown loadout A/B test package that lets you run stats queries on your game journal at (for now)

https://crates.io/crates/kda-tools

If you play "Highfleet" at all, can you poke around https://hfopt.jodavaho.io and see if you can get it to generate module lists that make sense?

It's an optimizer, just add what you know you want, set some cost / range / speed limits, and it will output the cheapest version of the ship that includes all required modules and has all requested stats.

I used a MILP solver to optimize my ship loadouts in Highfleet. It's rugged-looking, but works great. https://hfopt.jodavaho.io

If you are a bit more techy, a working python version is available here: https://github.com/jodavaho/highfleet-ship-opt

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).