Java Constraints Library (JCL) 문제 : 추가를 표현하는 방법은 무엇입니까?

Question

나는 해결해야한다 CSP 사용 사용 논리 문제 Java 제약 조건 라이브러리. 지금은 문제의 일부 제약 조건을 나타 냈습니다. 대부분의 문제는 "평등"및 "동등하지 않은"이진 제약 조건을 기반으로합니다. 내 의심은 추가 기반 제약을 표현하는 방법입니다. 예시:

• 변수 1은 Domaina에 속합니다
• 변수 2는 도메인에 속합니다
• 변수 3은 Domaina에 속합니다
• 변수 4는 도메인에 속합니다

이제 제약 조건 :

• 변수 1 및 변수 2의 합은 변수 3 및 변수 4의 합보다 큽니다.

관찰 : 이러한 변수는 돈을 나타내므로 추가 할 수 있습니다.

Answer 1

Java 구속 조건 라이브러리는 단백 또는 이진 제약 조건 만 사용하므로해야합니다. 제약 조건의 이항 n-ary 제약을 나타내기 위해. 또한 도서관에서 기존 관계 클래스를 물려 받고 새로운 호환 관계를 정의 할 수 있습니다.