aibasel/downward

해결하는 문제

Fast Downward는 특정 문제 영역에 종속되지 않고 초기 상태에서 목표 상태로 이어지는 행동 시퀀스를 찾기 위해 설계된 영역 독립적 고전 계획 시스템입니다.

작동 방식

이 시스템은 다양한 작업에 적용할 수 있는 일반 목적 계획기로 작동합니다. 특정 최적화 또는 제약 해결 요구 사항을 충족하기 위해 CPLEX 및 SoPlex과 같은 선형 프로그래밍(LP) 솔버와의 통합을 지원합니다.

대상 사용자

주로 고전 계획 분야의 과학적 실험을 수행하는 연구자 및 개발자를 대상으로 하며, Downward Lab Python 패키지 및 전용 벤치마크 리포지토리와의 통합을 통해 그 목적을 확인할 수 있습니다.

주요 특징

• 고전 계획에 대한 영역 독립적 접근 방식.
• Linux, macOS, Windows 등 다양한 운영 체제 지원.
• CPLEX 및 SoPlex과 같은 LP 솔버와의 통합.
• 성능 평가를 위한 전용 벤치마크 세트와 호환.