Swiss algorithm processor fetches input data from gsheets.
It does three rounds by backtracking with bigger pair ups.
Support monte carlo mismatch minimization.
Partial mathsat implementation.
Working but slow in z3.
Add score output to PrintModel.
Break up chained constraints.
Sort players so id -> score is non-decreasing. Add sorting constraints for final pairing.
Add even function.
Delete old and busted functions.
Change mismatch sum to use Function rather than Array.
Fix output (players were swapped).
Uncomment sort slots by score.
Sort both columns instead of just the left.
Remove repeated definitions in played function.
Formatting.
Players can never play themselves.
Lexicographically order the rounds to break symmetry.
Include matches from earlier rounds in played function for later rounds.
Uncomment old permutation pairer and rename the function.