3 ms·
It's definitely not optimal, but I love doing this stuff with TLA+. You define rules for state transitions, and constraints that cannot happen, and then you ru
by tombert 3y ago
It's definitely not optimal, but I love doing this stuff with TLA+. You define rules for state transitions, and constraints that cannot happen, and then you run a model check.
There's probably better ways of doing it, but I already know TLA+ and TLC does a breadth-first search so it'll find the shortest path.