17. The grind tactic🔗

1. 17.1. Quick Start
2. 17.2. What is grind?
3. 17.3. What grind is not.
4. 17.4. Congruence Closure
5. 17.5. Debugging tip
6. 17.6. Constraint Propagation
7. 17.7. Case Analysis
8. 17.8. E‑matching
9. 17.9. Linear Integer Arithmetic Solver
10. 17.10. Algebraic Solver (Commutative Rings, Fields)
11. 17.11. Normalizer / Pre‑processor
12. 17.12. Diagnostics
13. 17.13. Troubleshooting & FAQ
14. 17.14. Bigger Examples