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