diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2017-04-19 16:16:35 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2017-04-19 16:16:53 -0500 |
| commit | ebc103db4ac5210585525f1e9abb06b1da3c5cbf (patch) | |
| tree | 5af553e9862993bb96e3e3dc57a6dafcbafe6f27 /src/theory/mktheorytraits | |
| parent | f5be8f194bb40327f05ed87272e95722562b2483 (diff) | |
Fixes for handling set universe: restrict upwards rule for universe to memberships into variable sets, do not variable eliminate sets during ppAssert.
Diffstat (limited to 'src/theory/mktheorytraits')
0 files changed, 0 insertions, 0 deletions