Mattia Bondanza pushed to project branch main at Mattia Bondanza / equivalent-atoms

Mattia Bondanza
2026-04-17T09:05:29Z

Mattia Bondanza (5102e50d) at 17 Apr 09:05

Reviewed graph equivalence logic. Now it is 4 order of magnitude fa...