diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-10-03 13:18:45 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-10-03 13:18:45 -0700 |
commit | d662d3321a46aac61973f7a90341ea870c0b1171 (patch) | |
tree | a4a310ecc188316e68a61af7536b23ba6fda8f75 /src/api/python/cvc4.pxi | |
parent | 856d806d362b81bbf5a692d15d31f0161467bbd1 (diff) |
sygus-inst: Add more special BV values. (#5191)
Diffstat (limited to 'src/api/python/cvc4.pxi')
0 files changed, 0 insertions, 0 deletions