Homec4science

tamaas/src/solvers/condat.hh
ci-fix-static-checks