Skip to content

v1.0
Compare
Choose a tag to compare
@jesusjda jesusjda released this 26 Nov 18:02
· 157 commits to master since this release
v1.0
6c424c2

iRankFinder is a termination for (integer) transition systems, that is based on inferring several kinds of ranking functions.

Assets 3
Loading