OR-Tools Day1

실습 코드

from ortools.sat.python import cp_model

# ------------------ Day1(25.06.12) ------------------
# 1. 모델 생성
model = cp_model.CpModel()

# 2. 변수 선언(x는 0 또는 1)
x = model.NewIntVar(0, 1, 'x')
y = model.NewIntVar(0, 1, 'y')

# 3. 제약조건 추가
model.Add(x != y)

# 4. 솔버로 문제 풀기
solver = cp_model.CpSolver()
status = solver.Solve(model)

# 5. 결과 출력 # output: x = 1, y = 0
if status == cp_model.FEASIBLE or status == cp_model.OPTIMAL:
    print('x=', solver.Value(x))
    print('y=', solver.Value(y))
else:
    print('해를 찾을 수 없습니다.')