1. fmax() 함수 fMax(Expr, Var) ⇒ Boolean expression fMax(Expr, Var,lowBound) fMax(Expr, Var,lowBound,upBound) fMax(Expr, Var) | lowBound≤Var≤upBound Expr을 최대화하는 Var의 후보 값, 또는 최대값이 없을 경우 최소 상한(least upper bound)이 되는 Var의 후보 값을 정의하는 부울리언 표현식을 반환합니다. 제약 연산자("|")를 사용하여 해의 구간을 제한하거나 다른 제약 조건을 지정할 수 있습니다. '자동(Auto)' 또는 '근사(Approximate)' 모드에서 '근사(Approximate)'로 설정한 경우, fMax() 함수는 반복적인 계산을 통해...