This is the KoAT2 Web Interface for the paper "Automatic Complexity Analysis of Integer Programs with KoAT".
The input programs are C programs operating on ints. They are translated to the integer programs described in the paper using the tool llvm2kittel.
