Popular repositories Loading

1. ibex-lib ibex-lib Public

   Forked from ibex-team/ibex-lib

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

   C++ 1

2. VIBES VIBES Public

   Forked from ENSTABretagneRobotics/VIBES

   Visualizer for Intervals and BoxES

   C++

3. mp mp Public

   Forked from ampl/mp

   An open-source library for mathematical programming

   C++

4. asl asl Public

   Forked from ampl/asl

   C

5. codac codac Public

   Forked from codac-team/codac

   Codac (Catalog Of Domains And Contractors) is a C++/Python/Matlab library providing tools for interval computations and constraint programming over real numbers, trajectories and sets. It has numer…

   C++