This is the KoAT2 Web Interface for the paper "Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops".
Show Help for CINT Language (in new window)
