Avoid unnecessary queries to n_faces()#45

Merged

luca-heltai merged 3 commits intomainfrom optimize_neighbor_search

Dec 4, 2023

+24-657

Commits on Dec 1, 2023

Commits on Dec 3, 2023

Use unordered_map to store master -> slaves associations
fdrmrc
committed