Star AlbumentationsX on GitHub — it powers this leaderboard
astral-sh/pubgrub
PubGrub version solving algorithm implemented in Rust