Aug 2025 (v0.10.80)

Released on Sun Aug 31 02:56:47 2025 +0000.

Mochi v0.10.80 adds another batch of SPOJ problem solutions in both Mochi and Lean.

SPOJ Solutions

• Mochi implementations for problems such as GSS3, SCALE, PRMLX, Two Ends, SQCOUNT, RELINETS, QKP, ACMAKER, Cleaning Robot, problem 1701, TRSTAGE and more.
• Lean implementations for challenges like NSYSTEM, Polygonal Line Search, 1697, WIJGT, GRC, COCONUTS, HARDP, 1688, LOGIC2, GROCERY, Frequent Values, EXPRESS, Cylinder, Treasury and more.

Documentation

• Added writeup for the Swamp Things solution.