Skip to content

Release 2.7.0

Pre-release
Pre-release

Choose a tag to compare

View all tags
@eleanoremeyer eleanoremeyer released this 30 Jan 11:47
v2.7.0
8f727b9

This release corresponds to our article “KoAT: Automatic Complexity and Termination Analysis of Integer Programs”. See here for more details.

Assets 4
Loading