verifactory
verifactory copied to clipboard
A verifier for Factorio blueprints, enabling one to automatically check logical properties
Hi! It would probably be a nice (and quite simple to implement) to run the proof on a seperate thread (maybe even in parallel for the different proofs!) so that...
#### First Blueprint: ``` 0eNqlV8GOmzAQ/RXLp1aCCBsSIMdKu1Klqqe2l7ZakeAEq8Yg2ySNovx7DaxSkmUTD7klxvMeb8bzGB/xSjSsVlwavDzinOm14rXhlcRL/OmAnjNtMpk/c13wqtEz9EuGPkXfvqNVJjK5ZgrxDeKyboxGmWJo0wiBKoVYWZuDh1aNQaZQVbMt7BZf8JIblrcxpmBI85wNg4tMbPwOwXJ2O0qe5+J1D+K6h/+gWC2yNWt3lGjPTYEOTIhqj1ZMWChTIc3Yxxn2MF9XUuPlzyPWfCsz0Yo0h5pZdTuuTGNXPCyzsl3od/hP+GTjZM7+4iU5eYDIH4NICor8PIgMQZFfBpHR6beHmTTccNaL7v4cXmRTrpiycs7RRmVS15Uyfpsyi1pXmvdlP2IL5ZMFDWdzDx/a30ESzeaWJ+eKrftdnb4reAqCp7fgoxH48Ay/safSd+GIBhzURUJ0yaFrwY2xD+4qoFfYHq4aYw/ti+2tSlkKCynYxuAR0vmZtLGFVFvbLjJ3LEzYqXo9JD3lGMUCnrsQmrt4cvlDF/gEUppgiH4fOwW9OoFmhgST8Z1SQwi4vCQFi6CAApDkZm90fu7SGuTBpg+clEWPkRAnkvlUawkcrEXxbTGewKvOhzvMW3Vnv+nKOMoaP+Y3bmUDOcKwqYgDeDolb4Fb3t73aRrAExfcStzYh5SC5oCLVnYqDAU5RQorDA0h4AsgONwJSAx1Agpxggv4wAEc/qUnc7CC+DESt1OUTB+L4nQ4Fr1rUzSdOrLEybWExdjEGkwduDv8MUQydZJ4Tcm9GZtOxnfLSPiQv70VMXZywuihcciRZA4nSW6T2NubvR2XFvH/pdzDIrOAdu1pxwVqL99fmdlX6o99tGNK97EJieKUxglN4yBJT6d/mF8apw== ``` Test results: Belt-balancer: Yes Input-balanced (if belt-balancer): No TU (if belt-balancer): Yes Universal: Yes This blueprint is not TU however; if the two outer...
BP: ``` 0eNqlmttO4zAQht/F1+nKZzt9Du5WqGohQpFKGuWAQKjvvi6n3S3jZPxzVdGSr38mM789476Kw3Fu+qHtJrF9Fe3dqRvF9verGNuHbn+8vDe99I3Yiqd2mOb0TiW6/ePljff/2ERxrkTb3TfPYqvOFXilLrry5p8rzfm2Ek03tVPbvEt/++Nl182Ph2ZIor6ubp77oRnHzTTsu7E/DdPm0BynRO9PY7r81F2+OiE3phIv6aU+X1Rd4XQ5zi7gTDlOLeBsOU4v4FwxbkmcL6bJBVoopi091lhMW4pb/Y02p2wdHoZTel1Jk5By+yP/T/PUz5MgvkDJb98w9sd2mtKHxCP+5T7ZFEuVsMwnK5Isjdy5KrlzU6JWLau1gFpZItYViFXLT8kXoOTybcOlQyuLBcr0srIaNmtPmrWE3dqn53vfDs3d+2eaoiuY7ki1Gr57x1BbVDhfGUQrRQrnc6W51vpVR22XKSPt4GWNTgsPr7pXaeEpegCCo1Zik/cYHdFllZPiNboDIANvJOo8NE6hODKrjUY3ATTOoDj6Zi20TFuS5ZD6/Yid4ax8xsPeaEjFAS5ZOgIRthS7Xjam/oE/suJrJVr15n/5loIrtOrNuj1ajcItA27QsJBZYi1qMDTOoTiyJqxHDYYTSWQVK8rgCDuEJqOB7x31ejichP2CQ1ewu3HoGtau1r3O4SMMDt3imynNSUPnUMfgRN6jXscJTUCVc+ARtSqyOF2N4hQ5SSoZf3ykcupo1m/bK3xyI8/rnYyHx4d0HAy+j7tKAs+oFQ+PFyWpHm7r6GB4fPbEenYBaaBpqRH0BclIYbRlI5UGCY/IODENaAen1s03aJAt13fIwcC7o2zd5YNk8SrXxcOW4FCL0uvJGeC2kNwBh4A6CI2LyGyZXPBCjZsRa/scJTAPJqVGBZc4Tyna8JHPKBqwqhmtaUTbPb3uGNHBjqHLh4LRF2+QzPX+iIxQQOuXbIgj3AOSE7dY40bpGKtVLdFWh9Fw1wr1MjK09Q9O4lixMPiIi8W3YHfDCTV6rs1he7hhZYUlwGbNwqNtH1mPNdr1MeKspIQNlRMJJeHTPXJ8r6RGjuwzLIOcBdCnt9IibU1Gl0M2UBldHjg7z8gKwF4powotkIyyGjg7z/yKQ6LzT/ooXsH5n+FpdPHM8Ay6XmZ4FlwUMjh0rpjBeTDvMrgAHh0k3G0l2ql5TJf+/e1gJY77dFl6L+7ibpp3h/1x3929ZfFTM4xvmGCkisHXVibKHzoArTo= ``` Reference this [reddit post](https://www.reddit.com/r/factorio/comments/1977q9h/comment/kiil8ug/?utm_source=share&utm_medium=web2x&context=3).
Bug detailed [here](https://www.reddit.com/r/technicalfactorio/comments/197ij9u/comment/kii4xay/?utm_source=share&utm_medium=web3x&utm_name=web3xcss&utm_term=1&utm_content=share_button). This 2-5 balancer is shown as being input unbalanced: ``` 0eJyll99ugyAUxt/lXOuiaP/o5V5jWRbbkobEogFc2jS++7CutSuHgXjVtIXfdwC/88kVdnVHW8G4gvIKbN9wCeXHFSQ78qoeflOXlkIJTNETRMCr0/CNnltBpYyVqLhsG6HiHa0V9BEwfqBnKNM+8obItmZKUfE0nfSfEVCumGJ0LMg2J4K2kXpYwwcdPTUmEVx0AW8rjTswQffjn8kv8PLFu9NOzxxr9OYmvlgyCxunN27i5mazuLrQEfwXSwxsjmBfjtXcizv8tWoTvwrAExs+N/DrBXjjLNcGfhOAT214s/rtAjxxV18sOFoDj/gnCeDHcwQwhzoFrBuECGBedQqQGQKYab1XEHt0hTTEv49D8FJYYmEvAczE9s429vfYp8Fj9nV1eC8wZlxnJHmRMc92OhTFUTT60/VMmvutte/py9tumPuaV5iN3ZL2R2hSbDqFS2LG9lhldtfEeqtjlZjVZ0j+o2hdZZD5M1v4IW8aQd7P/ju4V4UQ7z8UjAaJCIQE+LQEQ8HMWBKS4ZOfPGKWhMR4bH3JQQRCgnxKEY+cyhZFuZdCSJbPEgjJ8ll7FGJn+3OECOTDred2Ryqf7mURfFMhR/9s03xTkE1OiiIr9M2hrrSsHv3+GN33PyYgmfY= ``` The same balancer but manually reversed, yielding a 5-2 balancer is not proven to be...