diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-08-28 09:53:58 -0700 |
|---|---|---|
| committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-08-28 15:40:22 -0700 |
| commit | af950306f906801dbc3411e57bf74c77f2578ba1 (patch) | |
| tree | 3e3c1556b68f04435ae3a30fbd4733f81ae6c43f /src/printer/sygus_print_callback.h | |
| parent | 6a2148c3cfb20928b2e721726345ea96149154d9 (diff) | |
Move flag needsFinish from SMT engine to circuit propagator.
Diffstat (limited to 'src/printer/sygus_print_callback.h')
0 files changed, 0 insertions, 0 deletions