Clear outer_bound when a solve produces none, instead of keeping a stale one - #839
Open
DLWoodruff wants to merge 2 commits into
Open
Clear outer_bound when a solve produces none, instead of keeping a stale one#839DLWoodruff wants to merge 2 commits into
DLWoodruff wants to merge 2 commits into