/Posts/Divisible by three/Divisible by three5 November 2022math notesLoop invariants and a constraint relaxation are used to solve this problem.open full screen ↗Your browser can't display this PDF inline. Open it directly.