diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2019-04-24 11:46:33 -0700 |
|---|---|---|
| committer | Aina Niemetz <aina.niemetz@gmail.com> | 2019-04-24 11:46:33 -0700 |
| commit | e256d610ca0db37e964b9a2b4530470e8589b958 (patch) | |
| tree | 19ca5096cd05f966d4ffb63dae58529d9976c8bf /src/include/cvc4.h | |
| parent | 66a061418ac025024910994a41d6ad0080307daa (diff) | |
README: Remove project leaders, history.
Diffstat (limited to 'src/include/cvc4.h')
0 files changed, 0 insertions, 0 deletions