ibexsolve: need a "--stop-at-first-..." option

ibex-team / ibex-lib

IBEX is a C++ library for constraint processing over real numbers.

http://ibex-team.github.io/ibex-lib/

GNU Lesser General Public License v3.0

69 stars 51 forks source link

ibexsolve: need a "--stop-at-first-..." option #444

Closed gchabert closed 4 years ago

gchabert commented 4 years ago

The idea is to stop the solver once a solution is found. It has to be clarified what is considered as a "solution" (does it include unknown boxes, etc.)