Balancer solution longer than existing best

R-O-C-K-E-T / Factorio-SAT

Enhancing the Factorio experience with SAT solvers

GNU General Public License v3.0

633 stars 16 forks source link

Balancer solution longer than existing best #4

Closed tcosprojects closed 2 years ago

tcosprojects commented 2 years ago

Hi, first off this project is amazing! During my testing I've found an output for the 8x3 balancer that is longer than what is in Raynquist's book. See the attached picture.

I can only guess why this might be, so I have some questions. Is Factorio-SAT exhaustive in its search of shorter balancers if it finds no solution? Or would this be a something to do with the constraints? Will Factorio-SAT allow a loop next to the exit belts like the current 8x3 best?

Thanks!

8x3_comparison

R-O-C-K-E-T commented 2 years ago

Factorio-SAT does not exhaustively check every configuration of tiles. However, (assuming no bugs) it does prove whether or not a balancer is possible.

As for the loop next to the exit belt Factorio-SAT does not allow any non-empty tiles on the ends outside those needed for input/output. Unless using the new --use-ends option.