[Termtools] Conflict in ITS

Akihisa Yamada akihisayamada at nii.ac.jp
Fri Mar 22 14:21:42 CET 2019


Dear all,

there is one conflict between irankfinder and VeryMax:

http://54.199.109.250/competitions/Y2019/caches/termination_33015.php#conflict

Best,
Akihisa


More information about the Termtools mailing list