The Tubex library have to be installed first. See the installation notice.
Then the library tubex-solve can be compiled using the following commands:
git clone https://github.com/ibex-team/tubex-solve
cd tubex-solve
mkdir -p make && cd make
makeThe problems are compiled together with the Solver class.
One can try the first problem with:
VIBes-viewer &
./problems/01_picard/01_picard