Solver-Info of "TCT2 - 2014"
view original solver-info on star-exec: 1620| Name: | TCT2 - 2014 |
| Description: | Tyrolean Complexity Tool. By Martin Avanzini, Georg Moser, Michael Schaper, Maria Schett and Andreas Kochesser. |
| Last Update from Star-Exec: | 2015-07-31 12:10:22.703605 UTC |