Solver-Info of "Ctrl"
view original solver-info on star-exec: 1541| Name: | Ctrl |
| Description: | Ctrl: an analysis tool for logically constrained term rewriting systems. By: Cynthia Kop, University of Innsbruck. |
| Last Update from Star-Exec: | 2015-07-31 12:10:10.32765 UTC |