Which dependency-resolution algorithmn is right for fpm?

[emmabastas]

Hey community, I'm considering applying to work on version constraint resolution for Fortran as part of GSoC2025, here is the original idea.

I thought that there needs to be some sort of community consensus on details of how the resolution algorithm should operate, we don't need to figure out all the details, but certain basic technical decisions will lock us into certain paths.

I wrote down some of my research, it kinda makes sense to me, I hope it does to the dear reader as well. It's in this gist (Q: Is there some good way to have a document like this that everyone can edit?) https://gist.github.com/emmabastas/57349c14db195b0ccedb78ed747f2a4f

Maybe this can prompt some healthy discussion, or maybe prompt clarification if the broad strokes of the resolution algorithm is already decided in. What do y'all think?