Open haz opened 3 years ago
If a solver is called and a new upper/lower-bound produced (relative to the API values), then report it to the user and/or devs.
If a solver is called and a new upper/lower-bound produced (relative to the API values), then report it to the user and/or devs.