Better interface needed for selecting specific PETSc builds #158
Description
There should be a default library that's used if no library is selected as well as a better interface for selecting libraries.
{{ message }}
There should be a default library that's used if no library is selected as well as a better interface for selecting libraries.