URL details: sadraskol.com/posts/modeling-the-train-reservation-kata-part-2

home > domains > sadraskol.com > sadraskol.com/posts/modeling-the-train-reservation-kata-part-2

URL title: Modeling the train reservation kata - Part 2
URL paragraphs: In our last article, we covered the basics of TLA+. This article is about the last rule left to implement: we want ideally 70% of coach occupation. Before implementing the rule, let's refine the implementation of our algorithm. So far our specification des
URL last crawled: 2023-01-09
URL speed: 628.000 MB/s, downloaded in 0.001 seconds

open external url

We found no external links pointing to this url.