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

Update CMakeLists.txt #473

Closed raphaelchenouard closed 3 years ago

raphaelchenouard commented 3 years ago

The version of ibex-lib was not updated. That can make troubles for plugins if latest version is required.

gchabert commented 3 years ago

Oups :-/ thanks.