Debugger
직관적인 그래픽 디스플레이를 이용하여 사용자는 어플리케이션 실행 상태를 추적 및 디버깅 할 수 있습니다. 또한 성능을 조정할 수도 있습니다. Search Tree를 사용하여 탐색을 모니터링 하십시오. Propagation Spy 및 Variable Domains을 사용하여 propagation를 체크하십시오. 크리스마스 트리를 사용하여 탐색 및 propagation 정보를 결합시키십시오.

제약 프로파일러로 제약 관련 통계 정보를 모을 수 있습니다. 제약 호출은 개별 제약에 의해 리스트 업 됩니다. 도메인 축소를 기준으로 효율성을 표현합니다. 생생한 2D 그래픽을 통해 귀하가 풀고자 하는 문제를 표현하실 수 있습니다. 

Debugger에 접근하기는 쉽습니다. ILOG Solver (혹은 ILOG Scheduler) 상단에 쓰여진 C++ 어플리케이션은 Debugger의 GUI에 직접 연결됩니다.

XML serialization
ILOG Solver 는 이제 XML 포맷 파일에 IloModels과 IloSolutions을 읽고 작성할 수 있습니다. 이 기능은 ILOG Concert 2.0과 통합하여 사용하실 수 있습니다. API (확장 어플리케이션 프로그래밍 인터페이스)는 맞춤 제약을 연속화 (serialization) 시킬 수 있게 해 줍니다.

Soft constraints
임시로 모든 모델에 IIcIntVars상의 제약을 추가하십시오. 비실행 제약조건은 시스템 전반에 오류를 발생시키는 대신 사용자가 정의한 데몬을 호출합니다. 이는 어플리케이션이 제약 오류에 반응하는 방법을 결정해 줍니다.

Explanations
Solver 이제 제약조건에 대한 질문에 대한 해답을 제시합니다. 사용자는 제약이 실패하는 이유 혹은 제약이 트루가 되어야 하는 까닭에 대해 궁금해 합니다. 반환 값(Return Value)은 검증될 수 있는 IIoModel입니다.

Extensions
유용한 데이터 관리 클래스를 이제 Concert Extension Library 에서 사용하실 수 있습니다. Collection은 delimited file (CSV) reader, intervals, 단계 함수(step function), 개별 선형 함수 (piecewise linear function) 를 포함하고 있습니다. 이는 새로운 클래스이며, 기존에는 ILOG Dispatcher 또는 ILOG Scheduler 내에서만 사용할 수 있던 기능 입니다.

IloPack constraint
이제 IloPack로 knapsack 제약 리스트를 모델링 하실 수 있습니다. IIoPack는 각 knapsack에 non-negative integer weight를 처리하는 아이템 할당을 계산합니다. 아이템은 knapsack weight limits내에 할당됩니다.

Native .NET support
마이크로소프트 .NET 프레임워크를 활용하십시오. Solver는 자연 .NET 지원 기능을 포함하고 있습니다. MS CLR (Microsoft Common Language Runtime) 뿐만 아니라, C#, 비주얼 베이직, .NET으로부터 Solver를 호출할 수 있습니다.  

Previous updates

ILOG Solver 5.3

• Goal customization
  변수와 값 선택을 제어할 수 있는 parameter를 이용, 쉽게 goal를 설정할 수 있습니다.
• Regret-based searches
  ILOG Solver 5.3의 새로운 선택 기능덕분에 적은 노력으로 regret-based searches를 정의할 수 있습니다.
• Fast-restart mode
  ILOG Solver 5.3의 새로운 기능인 fast-restart mode를 이용 서치를 빨리 다시 시작할 수 있습니다.
• Horse race strategy
  Parallel Solver는 goal 배열을 사용하여 동시 탐색을 수행할 수 있습니다. 첫 번째 goal이 끝나면 모든 작업이 정지되는 ‘Horse race’전략은 이러한 기술로 사용될 수 있습니다.

ILOG Solver 5.2

• Failure query
  getFailureStatus() 방법을 사용해 ILOG Solver의 실패 상황을 query할 수 있습니다.
• Debugging features
  새로운 디버깅 기능인 printInformation, setTrace로 쉽게 Solver engine의 상태를 결정할 수 있습니다.
• 로컬 서치
  로컬 서치 기능 덕분에 다른 자료와의 연계나 무작위 추출이 가능합니다.
• 메모리 향상
  연결된 실행 메모리와 익스트랙팅 동안 사용되는 메모리 사이즈 사용 측면에서 성능을 크게 향상 시켰습니다.

ILOG Solver 5.0
ILOG Solver는 ILOG Concert Technology 에 기초하고 있습니다. Concert Technology는 모델이 submodel 모음으로 정의되도록 합니다. 여러 가지 서치 절차는 문제 해결을 위해 제각기 다른 submodel에 적용될 수 있습니다. 따라서 모델 안에서 안정성을 더욱 강화시켜줍니다.

• Improved search facilities
  여러 가지 서치 알고리즘은 풀어야 할 문제의 여러 가지 부분에 적용될 수 있습니다.
• Problem modifications
  우선 문제를 풀고, 변수나 제약을 제거하거나 추가하면서, 변수 도메인을 확장함으로써 수정합니다.
• Local search
  Solver는 로컬 서치를 위한 framework이 내재되어 있습니다. 로컬 서치는 저장된 해결책, moves, neighborhoods, metaheuristics에 기초합니다. framework은 많이 사용되고 있는 metaheuristics와 neighberhoods의 off-the shelf implementation을 포함합니다.
• New trace mechanism
  constraint programming application의 debugging을 간소화하며, 추적 매커니즘은 완벽하게 다시 쓰여졌습니다.