SugarTracer

Description:

This example shows the trace of solving Open-Shop Scheduling (OSS) instance gp03-01 by Guéret and Prins. In the diagram, each rounded box corresponds to each s_i_j, and each arrow corresponds to each q_i_j_k_l.

Control:

Diagram:

Variables:

Decisions:

Learnt Clauses:

Console:




Naoyuki Tamura