diff options
author | mudathirmahgoub <mudathirmahgoub@gmail.com> | 2021-01-29 15:44:28 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-29 15:44:28 -0600 |
commit | 50c3dee5c8a4855023df826e1a733ea3c6076774 (patch) | |
tree | 3dd574a7e6153c9225c6abcde9085d06de057f6f /src/smt/smt_solver.cpp | |
parent | ce1b2f2fb06150599c231bf0d59b52a07e74c3f5 (diff) |
Add bag inferences for operators: intersection, duplicate_removal, and empty bags (#5832)
This PR adds inferences for operators: intersection, duplicate_removal, and empty bags during post check.
It also fixes a bug in SolverState::getElements
Diffstat (limited to 'src/smt/smt_solver.cpp')
0 files changed, 0 insertions, 0 deletions