IBEX Team

Popular repositories Loading

1. ibex-lib ibex-lib Public

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

   C++ 90 54

2. tubex-solve tubex-solve Public

   C++ 2

3. ibex-affine ibex-affine Public

   Plugin for affine arithmetic

   C++ 2

4. ibex-ode ibex-ode Public

   Plugin for the analysis of dynamical systems (ordinary differential equations)

   C++ 2 1

5. ibex-java ibex-java Public

   Plugin for using ibex in java (designed for Choco)

   Python 2

6. ibex-ensta-bretagne ibex-ensta-bretagne Public

   C++ 1