Codac is a library for constraint programming over reals, trajectories and sets.
-
Updated
Apr 26, 2024 - C++
Codac is a library for constraint programming over reals, trajectories and sets.
[WIP] Interval Analysis on LLVM IR
Another program analyzer, that performs static Value and Interval analysis of C like UNRELIABLE programs
A python port of the OpenCossan Interval Predictor Model toolbox
Computational complexes labs (St. Petersburg Polytechnic State University)
Julia prototype for solving mixed categorical optimization problems to global optimality
An interval library for sound and complete solution of ordinary differential equation (ODE) initial value problems (IVPs) from the paper "Recursive solution of initial value problems with temporal discretization":
Code and Datasets accompanying the paper titled "Robust optimization for solving the parameter estimation problem through interval analysis using actual data"
Add a description, image, and links to the interval-analysis topic page so that developers can more easily learn about it.
To associate your repository with the interval-analysis topic, visit your repo's landing page and select "manage topics."