Skip to content

Add an informative error message if the solver has not been instantiated#706

Open
johannahaffner wants to merge 1 commit intopatrick-kidger:devfrom
johannahaffner:uninstantiated-solver-error
Open

Add an informative error message if the solver has not been instantiated#706
johannahaffner wants to merge 1 commit intopatrick-kidger:devfrom
johannahaffner:uninstantiated-solver-error

Commits

Commits on Nov 9, 2025