Solver-Info of "Ctrl"

view original solver-info on star-exec: 3723
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-08-21 10:06:39.419058 UTC