diff options
| author | Ouyancheng <1024842937@qq.com> | 2021-06-09 08:53:16 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-09 15:53:16 +0000 |
| commit | 0c982a7486ef9b6991589685f9091602e0cf5572 (patch) | |
| tree | 02a1aea361ee8643c962eb91a10ce37b4caf0824 /contrib/competitions | |
| parent | cbb2fc4b1ec81fe5a3c00dbb030abc4631fe9db8 (diff) | |
[Optimization] support for push/pop (#6706)
Use CDList for optimization objectives so that optimization solver supports push and pop (just use SmtEngine's push/pop).
SmtEngine::resetAssertions will also clears the optimization objectives, so no need to have the reset objectives function.
Diffstat (limited to 'contrib/competitions')
0 files changed, 0 insertions, 0 deletions