diff options
| author | Brian Campbell | 2019-06-05 17:10:54 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-06-05 17:17:42 +0100 |
| commit | a71a3672443495a34b90790ce7f0f135cfdf601f (patch) | |
| tree | dc3f8c73ad74d929d0c98c816f9d19056708cca5 /src/smtlib.ml | |
| parent | 8987f87adde194de55b5c11de00320c6a541ebfc (diff) | |
Coq: exploit arithmetic solver for some mixed integer/bool problems.
Diffstat (limited to 'src/smtlib.ml')
0 files changed, 0 insertions, 0 deletions