% Auto-generated on Fri Jun 02 08:11:02 PDT 2000 % Nodes % n:index/variable_name/x_position/y_position/domain_type/domainvalues; n:0/A/-183/-229/INTEGER/1,2,3,4; n:1/B/189/-232/INTEGER/1,2,4; n:2/D/-183/59/INTEGER/1,2,3,4; n:3/E/12/232/INTEGER/1,2,3,4; n:4/C/188/59/INTEGER/1,3,4; % Edges % e:tail_index/head_index/constraint_information; e:3/2/<; e:3/0/<; e:3/1/<; e:1/2/!=; e:0/2/=; e:0/1/!=; e:3/4/<; e:4/2/<; e:1/4/!=; endConstraintGraph;