tubex-solve

Installation

---

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
make

The problems are compiled together with the Solver class. One can try the first problem with:

VIBes-viewer &
./problems/01_picard/01_picard