pub fn solve( expression: Expression, use_multiple_threads: bool, verify: bool, ) -> Option<Assignment>