Summary
- small changes and move debugging info to default solution warnings (commit: 44d86c6) (details)
- lint (commit: 1368695) (details)
- fix (commit: f0a03d3) (details)
- lint (commit: 5a27665) (details)
- TODOs and determinism (commit: 2dfb4e6) (details)