diff options
| author | Ouyancheng <1024842937@qq.com> | 2021-05-27 15:02:48 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-27 22:02:48 +0000 |
| commit | 631032b15327c28c44b51490dceb434a38f3419a (patch) | |
| tree | 047fd4ea2d87af473ce68b998d89bf52f6daeacd /src/theory/shared_terms_database.h | |
| parent | 8b3de13131d24bf400ba5f36fc234008d950f345 (diff) | |
Add Lexicographic + Pareto Optimizations (#6626)
Lexicographic optimizations: Optimize the objectives one-by-one, in the order they are pushed.
Pareto optimizations: Optimize the objectives to the extend that further optimization on any objective will worsen the other objective.
Units tests are of course added.
Lexicographic optimization is using iterative implementation, pretty similar to the naive box optimization.
Diffstat (limited to 'src/theory/shared_terms_database.h')
0 files changed, 0 insertions, 0 deletions