Move installation-related modules to amici._installation#3056
Merged
dweindl merged 1 commit intoAMICI-dev:mainfrom Nov 18, 2025
Merged
Move installation-related modules to amici._installation#3056dweindl merged 1 commit intoAMICI-dev:mainfrom
dweindl merged 1 commit intoAMICI-dev:mainfrom