Solver-Info of "mu-term 5.13"
view original solver-info on star-exec: 1388Name: | mu-term 5.13 |
Description: | MU TERM is a tool which can be used to verify a number of termination properties of Term Rewriting Systems. |
Last Update from Star-Exec: | 2015-07-31 12:10:11.733177 UTC |