This is the KoAT2 Web Interface for the paper "Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops".
The input programs are C programs operating on ints. They are translated to the integer programs described in the paper using the tool llvm2kittel.
