Data shown here is incomplete. This page will refresh with updates pulled from star-exec.

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:	2017-08-16 09:04:30.026758 UTC