diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-06-01 20:31:24 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-06-01 20:31:24 +0000 |
| commit | 468c5bc5d8b63ec6818813270225e09383dd79ff (patch) | |
| tree | adf53aa31607de77fd240b70b114a3396dfae4d8 /src/theory/booleans/circuit_propagator.h | |
| parent | e0ea9a22721a332be2a2354846ffdf5f72c6a6de (diff) | |
add a global user-context push/pop in smt engine, just like clark's addition the other day of a push/pop of the sat context
Diffstat (limited to 'src/theory/booleans/circuit_propagator.h')
0 files changed, 0 insertions, 0 deletions