Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
add a hardlinks target to ease working with out-of-tree builds