Minizinc 출력 없음

MiniZinc에서 출력이 나오지 않는 이유는 무엇입니까?Minizinc 출력 없음

var int: Cost = sum (p in 1 .. nP) (Score [p]); 
solve minimize Cost; 
output ["Test"];

내가 할 모든은 다음과 같습니다 : 내 프로그램은 다음과 같이 종료 다시 일어난 54msec

2/7/15에 완료 scheduler.mzn 을 실행합니다. 다음은 코드 해지입니다.

array[1 .. 2] of var int: D; 
array[1 .. 2] of var int: F; 
array[1 .. 2] of var int: S; 
constraint forall (i in 1 .. 2) (S [i] = D [i] * F [i]); 
var int: Cost = 1; 
solve minimize Cost; 
output ["test"];

출력이없고 "UNSATISFIABLE"이 없습니다.

출처

2015-02-02 Jim Lewis

출력 섹션을 다음과 같이 변경하면 어떻게됩니까? output [show (Cost) ++ "\ n"]; – hakank

문제를 재현하기 위해 너무 많은 변경을 가한 것 같지만 MiniZinc가 출력을 생성하지 못하면 일반적으로 무슨 뜻입니까? –

이 텍스트 위에는 메시지가 없습니다. 예 : 오류 메시지? 또한 MiniZinc 탭에서 "Run"으로 실행하고 있습니까? 모델이 만족스럽지 않으면 결과는 "===== UNSATISFIABLE ====="이어야합니다. – hakank

적어도 MiniZinc 2.0.0에서 콘솔 모드의 예제는 작동 :

minizinc example.mzn 
test 
---------- 
==========

코드를 포함 example.mzn에 예상대로

array[1 .. 2] of var int: D; 
array[1 .. 2] of var int: F; 
array[1 .. 2] of var int: S; 
constraint forall (i in 1 .. 2) (S [i] = D [i] * F [i]); 
var int: Cost = 1; 
solve minimize Cost; 
output ["test"];

는 그래서 "테스트"를 표시합니다.

출처

2015-08-01 10:28:17 RafaelCaballero

Minizinc 출력 없음

답변

관련 문제