: The solver is multi-threaded, meaning it can use multiple cores for linear calculations and design algorithms.