diff options
| author | Morgan Deters <mdeters@gmail.com> | 2010-04-01 07:26:37 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2010-04-01 07:26:37 +0000 |
| commit | 6fe1db1645f57f3ff0378839ba3f25b0b21e83f9 (patch) | |
| tree | 48fdfc2ed92b505b663e47aa1d16f8db81f92d0e /src/expr | |
| parent | a86b330c8b1ebfa7ec9a284ceb7cba69ff6d09b9 (diff) | |
cvc4 --show-config now gives library version
Diffstat (limited to 'src/expr')
0 files changed, 0 insertions, 0 deletions