사용법

ReSHOP 사용을 지정하기 위해 슬롯 무료체험 프로그램 내에서 다음 명령문을 사용할 수 있습니다.

옵션 EMP = ReSHOP;

위 문은 Solve 문 앞에 나타나야 합니다. 슬롯 무료체험 설치 중에 ReSHOP이 기본 솔버로 지정된 경우 위의 설명은 필요하지 않습니다.

ReSHOP 옵션 사양

옵션은 ReSHOP 옵션 파일로 지정할 수 있습니다. ReSHOP 옵션 파일은 한 줄에 하나의 옵션 또는 설명으로 구성됩니다. 파운드 기호(#)을 줄 시작 부분에 추가하면 전체 줄이 무시됩니다. 그렇지 않으면 해당 줄은 등호()로 구분된 옵션 이름과 값으로 해석됩니다.=) 및 임의의 공백(공백 또는 탭).

ReSHOP 옵션 목록

모든 ReSHOP 옵션의 세부 목록은 아래 표에 제공됩니다.

옵션	설명	기본값
display_empdag	EMPDAG를 png로 표시 범위: 부울	0
display_equations	수식을 png로 표시 범위: 문자열
display_ovfdag	OVFDAG를 png로 표시 범위: 부울	0
display_timings	타이밍 정보 표시 범위: 부울	0
dump_scalar_model	변환을 통해 모든 스칼라 모델 덤프 범위: 부울	0
EMP정보파일	사용할 EMPinfo 파일 범위: 문자열	empinfo.dat
expensive_checks	시간이 많이 걸리는 일관성 검사 수행 범위: 부울	0
gui	GUI 시작 범위: 부울	0
출력	출력 레벨 범위: 0, ..., 무한대	7
output_presolve_log	presolve 중 subsolver 로그 출력 여부 범위: 부울	0
output_subsolver_log	서브 솔버 로그 출력 여부 범위: 부울	0
ovf_init_new_variables	OVF/CCF 재구성 중에 도입된 새 변수 초기화 범위: 부울	0
ovf_reformulation	OVF 변수 및 CCF MP를 재구성하기 위한 체계 평형: 내쉬 균형(또는 VI 공식) fenchel: Fenchel 이중(원추형 QP용) 공액: 공액 기반 재구성	평형
pathlib_name	PATH 라이브러리의 경로 범위: 문자열
png_viewer	PNG를 표시하기 위해 실행 가능 범위: 문자열
presolve	새 변수 및 방정식의 초기값 계산 범위: 부울	1
save_empdag	EMPDAG를 png로 저장 범위: 부울	0
save_ovfdag	OVFDAG를 png로 저장 범위: 부울	0
solve_single_opt_as	단일 MP로 empdag를 해결하는 방법 mcp: 단일 최적화 문제를 MCP(KKT 시스템)로 해결 nlp: 단일 최적화 문제를 최적화 문제로 해결	nlp
solvelink	하위 솔버 호출을 위한 솔브링크 범위: 0, ..., 무한대	5
subsolverop	서브솔버 옵션 파일 번호 범위: 0, ..., 999	0
time_limit	최대 실행 시간(초) 범위: 0, ..., 무한대	3600