diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-11-18 13:52:18 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-11-18 13:52:18 -0600 |
commit | 6fe7877d82721e453d5d928a8fe9dbad2099dac1 (patch) | |
tree | 3e4c6ef5d0b802db5f76d7cbac66a792f28c6dc7 /src/theory/arith/delta_rational.h | |
parent | 357e81dfc393d9e2ea80f66cddc837564494a34c (diff) |
Use standard sygus interface for abduction and rewrite rule synthesis (#3471)
Diffstat (limited to 'src/theory/arith/delta_rational.h')
0 files changed, 0 insertions, 0 deletions