treeset: use eigen instead of sparse13#2643
Closed
alkino wants to merge 35 commits intomasterfrom cornu/sparse13_treeset
+156-115
Commits
Commits on Dec 13, 2023
- committed
Nicolas Cornu
Commits on Dec 14, 2023
- committedNicolas Cornu
- committedNicolas Cornu
- committedNicolas Cornu
- committedNicolas Cornu
- committedNicolas Cornu
- committedNicolas Cornu
- committedNicolas Cornu
- committedNicolas Cornu
- committedNicolas Cornu
Commits on Jun 4, 2024
- committedNicolas Cornu
- committedNicolas Cornu
- committedNicolas Cornu
- committed
- committedNicolas Cornu
- committedNicolas Cornu
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&size=32){kind=avatar}
Commits on Jun 5, 2024
- committedNicolas Cornu
- committedNicolas Cornu
- committedNicolas Cornu
- committedNicolas Cornu
- committedNicolas Cornu
- committedNicolas Cornu
- committed
- committedNicolas Cornu
- committedNicolas Cornu
- committedNicolas Cornu
Commits on Jun 6, 2024
- committedNicolas Cornu
- committedNicolas Cornu
- committedNicolas Cornu
- committedNicolas Cornu
- committedNicolas Cornu
- committedNicolas Cornu
- committed
Commits on Oct 22, 2024
- authoredNicolas Cornu
- committedNicolas Cornu