choco

0열

1답변

복잡한 변수가 제약 조건을 충족시키는 지 Choco를 확인하는 방법은 무엇입니까? 예를 들어, I는 구성 다음 목록 경우 : int[][] configurations = new int[][] { {20, 24, 10, 3, 4}, {20, 13, 1, 3, 4}}; CONFIG1 = {20, 24, 10, 3, 4} 및 config

2열

1답변

Choco Solver - 런타임이 극히 오래 걸리는 경우 가장 근접한 솔루션을 얻으려고합니까 (대부분의 제약 조건을 충족합니까)?

Choco Solver에서 솔루션을 찾는 데 시간이 오래 걸릴 수있는 경우 가장 가까운 솔루션 (지금까지 대부분의 제약 조건을 충족하지만 모든 제약 조건을 충족하지 못할 수있는 솔루션)을 어떻게 얻습니까? 예를 들어, 솔루션을 찾기 위해 Model.getSolver(). solve()를 실행하는 중이고 솔루션을 찾을 수 없음에도 불구하고 충분히 길게 잡았다

0열

1답변

초코 나는 초코 솔버와 마법의 사각형 프로그램을 해결하기 위해이 코드를 발견

해석 된 클래스 : public static void main(String[] args) { int n = 4; System.out.println("Magic Square Problem with n = " + n); Problem myPb = new Problem(); IntVar[] vars = new IntVar[

1열

1답변

초코 유성 설치 - 사용자 정의/다른 설치 위치

안녕하세요 choco install meteor 를 사용 초코와 유성를 설치하려고 그리고 나는 그것이 C:\Users\yourUserName\AppData\Local\.meteor\에 설치됩니다 이해합니다. 다른 폴더에 직접 설치할 수있는 방법이 있습니까? 또는 일단 설치되면 다른 폴더로 이동하는 것이 좋습니다? 미리 감사드립니다.

1열

1답변

Choco Solver : 실제 변수 및 제약 조건을 사용하여 CSP를 설정하는 방법

실내 환경을 자동으로 생성하는 프로그램을 작성하고 싶습니다. x_o, y_o : 객체의 위치를 O를 환경에 theta_o : 객체 O의 방향을이를 위해, 나는 변수가됩니다 CSP으로 문제를 공식화의 아이디어를 고려 및 도메인은 다음과 같습니다 CER x 및 y에 대한 범위 [a, b] (즉, 2D 그리드의 크기) [090180270]도. 이 문제를 구현

0열

1답변

Choco에서 검색하는 동안 제약 조건을 생성/게시하고 삭제/게시 취소하는 방법

Choco 솔버에서 프로젝트를 얻었지만 검색하는 동안 외부 효과에 대해 질문이 있습니다. 저는 BoolVars가 레이어로 구성되어있는 플래닝 그래프가 있고 레이어에 지정된 기간이 있습니다. 즉, 액션이 시작되고 끝나는 것을 의미합니다. 변수 선택은 계획 끝에서 계획 시작까지 정적입니다 (계층의 작업 선택은 임의 임). 나는 시작과 작업 우리가 N에 해당하는

1열

1답변

Chocolatey : 제거한 패키지를 다시 설치하는 방법

Chocolatey으로 컴퓨터의 소프트웨어를 관리하고 있습니다. 제거 된 패키지를 다시 설치하는 데 문제가 있습니다. 다시 설치하려고했지만 아무 일도 일어나지 않았습니다. 전에 제거한 패키지를 어떻게 다시 설치할 수 있습니까? choco -y install ruby --version 2.2.4 choco -y uninstall ruby --version

1열

1답변

Choco Sat 공식

Choco 4.0.1을 사용하여 SAT 공식을 모델링하려고합니다. 나는 docs을 읽고, 나는 javadoc에서 이해하려고 애 쓰고 있지만, 불행히도 나는 지금까지 실패하고있다. 이것은 처음으로 이러한 유형의 문제와 초코 작업을하는 것입니다. 그래서, 나는 아주 명백한 것을 요구하고 있을지도 모른다. 내가 좋아하는 모델에 제약의 번호를 추가해야합니다 (각

1열

1답변

할당 값 제한 - Choco

변수의 특정 값에 대한 할당 수를 제한하는 방법이 있습니까? 나는 과정, 교사 및 타임 슬롯과 Choco [4.0.1]를 사용하여 일정 문제를 쓰고 있어요. 같은 선생님이 여러 과목을 가르 칠 수 있으며 가르 칠 수있는 과목의 수를 정의해야합니다. 나는 교사가 B를 12 hours (12 timeslots) 일할 수있는 것처럼 timeslots의 수를 세고

-1열

2답변

Choco Solver 수학 표현 생성

Choco solver을 사용하여 여러 가지 제약 조건을 만족하는 수학 문제를 생성하는 Java 프로그램을 작성하고 싶습니다. 문제는 다음과 같은 형태로 가지고 가야 : x @ y ∆ z = r 을 여기서 x, & zy 그들 중 하나가 두 자리 인으로, 서로 반드시 차이가 양의 정수이다 나머지 두 자리는 1 자릿수입니다. @ &또는 * (모두 같은 연산