Acado Toolkit solvers testing
Our fork of Frama-C.
forked from https://github.com/amtoine/dotfiles
Reproducibility study of a multiscale CNN used for modelling PDE's
