Playing with TLA+ and Pluscal.
- Cannibals - Solving "Cannibals and Missionaries" puzzle.
- DieHardWaterProblem - Die Hard problem with water jugs.
- Quicksort - Showing that quicksort works!
- WeakFairness - Use Weak Fairness to ensure processes pass all the states.