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
67 stars 51 forks source link

x^0 in minibex #534

Open goldsztejn-a opened 1 year ago

goldsztejn-a commented 1 year ago

ibexopt answers infeasible to the following minibex. I agree that x^0 is a strange way to encode 1, but this is correct.

Variables x in [-1 , 1];

Minimize x^0 + x^1;

Constraints end