来源：https://stackoverflow.com/questions/57982965/how-to-check-progress-for-z3-optimization-problem 标签 performance optimization Z3 minimize maximize
