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. GAOL GAOL Public

   Forked from goualard-f/GAOL

   GAOL is not Just Another Interval Arithmetic Library

   C++ 1

3. VIBES VIBES Public

   Forked from ENSTABretagneRobotics/VIBES

   Visualizer for Intervals and BoxES

   C++

4. mp mp Public

   Forked from ampl/mp

   An open-source library for mathematical programming

   C++

5. asl asl Public

   Forked from ampl/asl

   C

6. 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++