Tag | Download | Author | Age | |
---|---|---|---|---|
test-tag2 | commit 0d51f9839e... | Andrew Reynolds | 3 years | |
smtcomp2015-experimental | commit ff5745a9f6... | Kshitij Bansal | 9 years | |
smtcomp2015-stable | commit 9b32405be8... | Kshitij Bansal | 9 years | |
1.4 | commit c0258d642d... | Morgan Deters | 10 years | |
smtcomp2014-resubmission | commit 15a15f5c9f... | Tim King | 10 years | |
smtcomp2014-application | commit 933a5122ca... | Morgan Deters | 10 years | |
smtcomp2014 | commit 44fde647e6... | Morgan Deters | 10 years | |
1.3 | commit 97d7c35cb2... | Morgan Deters | 11 years | |
casc24 | commit 4e32479206... | Morgan Deters | 11 years | |
1.2 | commit 1ef3bf7434... | Morgan Deters | 11 years | |
smteval2013 | commit 843cfdae17... | Morgan Deters | 11 years | |
1.1 | commit 92058c8c7a... | Morgan Deters | 11 years | |
smtcomp2012-resubmission-2 | commit 7fcf0cb48a... | François Bobot | 12 years | |
smtcomp2012-resubmission | commit 2f282e67ed... | François Bobot | 12 years | |
1.0 | commit b1556c088e... | Morgan Deters | 12 years | |
smtcomp2012 | commit eaa2d2f431... | Morgan Deters | 12 years | |
smtcomp2010 | commit 6c68124e7f... | Morgan Deters | 14 years |