Solver-Info of "TTT2"
view original solver-info on star-exec: 1342| Name: | TTT2 |
| Description: | Tyrolean Termination Tool, Martin Korp, Christian Sternagel, Harald Zankl, Aart Middeldorp |
| Last Update from Star-Exec: | 2015-07-31 12:10:09.42581 UTC |
| Name: | TTT2 |
| Description: | Tyrolean Termination Tool, Martin Korp, Christian Sternagel, Harald Zankl, Aart Middeldorp |
| Last Update from Star-Exec: | 2015-07-31 12:10:09.42581 UTC |