Loading page…
A tool for generating nonlinear numerical invariants for C and Java programs.
Last snapshot: Nov 5, 2026, 22:13 UTC
8 calculable days · 0 without calculable growth.
Categories ranked by installs on Marketplace and downloads on Open VSX.
No category or keyword positions available in the current 31-day window.