Skip to content

pass use_cholmod to the outside#111

Merged
m-reuter merged 1 commit into
mainfrom
cholmod
Mar 9, 2026
Merged

pass use_cholmod to the outside#111
m-reuter merged 1 commit into
mainfrom
cholmod

Commits

Commits on Mar 9, 2026