src/compile_time_checks/serif/solver src/compile_time_checks/serif/solver/normalization src/compile_time_checks/serif/solver/preconditioner continuation.cpp public_contracts.cpp