|
| attribute |
value |
| name |
CVC4 f7118b2 |
| description |
CVC4 for SMT_COMP main track 1.4_prerelease git master f7118b28
CVC4 for SMT_COMP application track 1.4_prerelease git master f7118b28
CVC4 for SMT_COMP parallel track 1.4_prerelease git master f7118b28
|
| owner |
David Cok
|
| uploaded |
2014-06-19 21:46:34.0 |
| disk size |
67.23 MB |
| build status |
uploaded built |
|
