Factorio-SAT
Factorio-SAT copied to clipboard
Help with usage? I can't seem to get generating balancers *or* rendering them to work.
Could you provide some example commands to run from the root of the git repo? I'm really not sure what I'm doing, things are hanging forever with no indicator of progress.
Oh, I'm dumb, I could've scrolled down. I'm trying to generate a 16-16 balancer to see the inhuman design it makes
Using some command line solvers (e.g. --solver "cmd:kissat"
) will give some indication of how much progress has been made, though no ETA. They also tend to have much better performance then the built in ones.
For 16-16 and other large balancers, they currently aren't realistically solvable. Unless a decent amount of tiles are fixed beforehand (as was done to find the current 16-16).
However, I have found a neat trick that significantly improves the maximum (realistically) solvable size for interchanges and I think a tweaked/optimised version might work for big power of 2 balancers in the future.