REAS: Combining Numerical Optimization with SAT Solving