diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-05-06 12:55:51 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-06 19:55:51 +0000 |
| commit | f28ed39a59e6ec8a282ef25b9415bc7d33cb919c (patch) | |
| tree | cc57b08a3de6c0240e9d7ee8be03f0cd82f53a2a /test/regress/regress2 | |
| parent | 2f4af86757f34a31f2983f30b3321e7c0511aa32 (diff) | |
Update README.md and remove last CVC4 references. (#6497)
Diffstat (limited to 'test/regress/regress2')
0 files changed, 0 insertions, 0 deletions