TLA+ Part 2 — TLA+ to ILP Part 2 — Performance check

This is the second part of the TLA+ series. For your convenience you can find other parts in the table of contents in Part 1 — TLA+ to ILP Part 1 — Reducing problem Let’s now carry on with adding more invariants. Tutorial says to reorder the operations, so let’s first update the db and … Continue reading TLA+ Part 2 — TLA+ to ILP Part 2 — Performance check