diff options
| author | ayveejay <41393247+ayveejay@users.noreply.github.com> | 2018-07-26 19:27:46 +0100 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-07-26 11:27:46 -0700 |
| commit | d23c9f4112003c006fc1f1d78d8c82c8310908c9 (patch) | |
| tree | 3a879229ec2b8d19ea00b3e712bb37149885f5dd /src/theory/quantifiers/sygus | |
| parent | ce4a59429f6cdf6d98bd7b28d51a2bb28d34a2c6 (diff) | |
Avoid explicit dependency on Python 3 (#2195)
Diffstat (limited to 'src/theory/quantifiers/sygus')
0 files changed, 0 insertions, 0 deletions