projects / cvc5.git / commit
| author | ajreynol <andrew.j.reynolds@gmail.com> | |
| Thu, 8 Dec 2016 03:02:21 +0000 (21:02 -0600) | ||
| committer | ajreynol <andrew.j.reynolds@gmail.com> | |
| Thu, 8 Dec 2016 03:02:21 +0000 (21:02 -0600) | ||
| commit | 87c471be5794ddfaf285ac3cb27eaeae6c8a267c | |
| tree | 6796ee330e1870a4d243ab63ccf43f536233670c | tree |
| parent | 314db5e1c4fdbfca001b1f3a679831d086b25e5c | commit | diff |
| test/regress/regress0/sets/card-3sets.cvc | [new file with mode: 0644] | blob |