Comment Comment by lemmster Below are a few specs related to refactoring/rewriting the TLA+ model checker to scale to more cores:* https://github.com/tlaplus/tlaplus/blob/master/tlatools/src/...* https://github.com/tlaplus/tlaplus/blob/master/tlatools/src/...* https://github.com/lemmy/PageQueue parent lemmster 6 years ago
* https://github.com/tlaplus/tlaplus/blob/master/tlatools/src/...
* https://github.com/tlaplus/tlaplus/blob/master/tlatools/src/...
* https://github.com/lemmy/PageQueue