Pinned Repositories
GRASP-SCP
ibex-lib
IBEX is a C++ library for constraint processing over real numbers.
linear-generator
A benchmark generator of underdetermined linear systems with uncertainties
MKP
Multidimensional Knapsack Problem
ncsp_generator
non-linear satisfaction problem generator
tubex-lib
Tubex is a C++ library providing tools to guarantee computations over sets of trajectories.
vareyesr.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
vareyesr's Repositories
vareyesr/GRASP-SCP
vareyesr/ibex-lib
IBEX is a C++ library for constraint processing over real numbers.
vareyesr/linear-generator
A benchmark generator of underdetermined linear systems with uncertainties
vareyesr/MKP
Multidimensional Knapsack Problem
vareyesr/ncsp_generator
non-linear satisfaction problem generator
vareyesr/tubex-lib
Tubex is a C++ library providing tools to guarantee computations over sets of trajectories.
vareyesr/vareyesr.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes