Solver-Info of "cycsrs-29-07-2015.5"

view original solver-info on star-exec: 3869
Name: cycsrs-29-07-2015.5
Description: cycsrs is a tool that proves cycle termination by combining several techniques. It uses the tool torpacyc implemented by Hans Zantema which searches for trace decreasing matrix interpretations and it transforms the cycle termination problem into a string termination problem and then applying AProVE Developers of cycsrs are David Sabel and Hans Zantema.
Last Update from Star-Exec: 2015-08-21 10:06:37.292134 UTC