| /dports/math/clingo/clingo-5.5.1/examples/clingo/expansion/GraphColouring/instances/ |
| H A D | 0056-graph_colouring-150-0.lp | 152 edge(1,5).
153 edge(5,1).
154 edge(1,21).
155 edge(21,1).
156 edge(1,22).
157 edge(22,1).
158 edge(1,44).
159 edge(44,1).
160 edge(1,48).
161 edge(48,1).
[all …]
|
| H A D | 0060-graph_colouring-150-0.lp | 152 edge(1,8).
153 edge(8,1).
154 edge(1,16).
155 edge(16,1).
156 edge(1,29).
200 edge(3,7).
201 edge(7,3).
224 edge(4,8).
225 edge(8,4).
226 edge(4,9).
[all …]
|
| H A D | 0048-graph_colouring-145-0.lp | 147 edge(1,6).
148 edge(6,1).
149 edge(1,22).
150 edge(22,1).
151 edge(1,31).
152 edge(31,1).
153 edge(1,49).
167 edge(2,7).
168 edge(7,2).
207 edge(3,6).
[all …]
|
| H A D | 0032-graph_colouring-140-0.lp | 142 edge(1,7).
143 edge(7,1).
144 edge(1,10).
145 edge(10,1).
146 edge(1,32).
147 edge(32,1).
148 edge(1,41).
149 edge(41,1).
150 edge(1,43).
174 edge(2,8).
[all …]
|
| H A D | 0050-graph_colouring-145-0.lp | 147 edge(1,8).
148 edge(8,1).
149 edge(1,15).
150 edge(15,1).
151 edge(1,27).
152 edge(27,1).
153 edge(1,39).
154 edge(39,1).
155 edge(1,52).
239 edge(4,7).
[all …]
|
| H A D | 0040-graph_colouring-140-0.lp | 142 edge(1,6).
143 edge(6,1).
144 edge(1,7).
145 edge(7,1).
146 edge(1,22).
147 edge(22,1).
148 edge(1,29).
149 edge(29,1).
150 edge(1,48).
151 edge(48,1).
[all …]
|
| H A D | 0039-graph_colouring-140-0.lp | 142 edge(1,16).
143 edge(16,1).
144 edge(1,32).
145 edge(32,1).
146 edge(1,36).
147 edge(36,1).
148 edge(1,55).
162 edge(2,7).
163 edge(7,2).
194 edge(3,7).
[all …]
|
| H A D | 0047-graph_colouring-145-0.lp | 147 edge(1,7).
148 edge(7,1).
149 edge(1,17).
150 edge(17,1).
151 edge(1,51).
152 edge(51,1).
153 edge(1,66).
175 edge(2,8).
176 edge(8,2).
193 edge(3,7).
[all …]
|
| H A D | 0022-graph_colouring-135-0.lp | 137 edge(1,27).
138 edge(27,1).
139 edge(1,36).
140 edge(36,1).
141 edge(1,58).
142 edge(58,1).
143 edge(1,62).
144 edge(62,1).
145 edge(1,66).
146 edge(66,1).
[all …]
|
| H A D | 0004-graph_colouring-125-0.lp | 127 edge(1,28).
128 edge(28,1).
129 edge(1,29).
130 edge(29,1).
131 edge(1,43).
132 edge(43,1).
133 edge(1,52).
134 edge(52,1).
135 edge(1,56).
136 edge(56,1).
[all …]
|
| H A D | 0059-graph_colouring-150-0.lp | 152 edge(1,13).
153 edge(13,1).
154 edge(1,15).
155 edge(15,1).
156 edge(1,16).
186 edge(2,5).
187 edge(5,2).
188 edge(2,9).
189 edge(9,2).
212 edge(3,7).
[all …]
|
| H A D | 0008-graph_colouring-125-0.lp | 127 edge(1,3).
128 edge(3,1).
129 edge(1,26).
130 edge(26,1).
131 edge(1,38).
132 edge(38,1).
133 edge(1,42).
134 edge(42,1).
135 edge(1,45).
159 edge(2,5).
[all …]
|
| H A D | 0036-graph_colouring-140-0.lp | 142 edge(1,16).
143 edge(16,1).
144 edge(1,52).
145 edge(52,1).
146 edge(1,68).
147 edge(68,1).
148 edge(1,79).
149 edge(79,1).
150 edge(1,81).
162 edge(2,5).
[all …]
|
| H A D | 0046-graph_colouring-145-0.lp | 147 edge(1,17).
148 edge(17,1).
149 edge(1,21).
150 edge(21,1).
151 edge(1,35).
152 edge(35,1).
153 edge(1,39).
173 edge(2,6).
174 edge(6,2).
207 edge(3,5).
[all …]
|
| H A D | 0025-graph_colouring-135-0.lp | 137 edge(1,4).
138 edge(4,1).
139 edge(1,44).
140 edge(44,1).
141 edge(1,45).
142 edge(45,1).
143 edge(1,46).
144 edge(46,1).
145 edge(1,57).
146 edge(57,1).
[all …]
|
| H A D | 0005-graph_colouring-125-0.lp | 127 edge(1,22).
128 edge(22,1).
129 edge(1,28).
130 edge(28,1).
131 edge(1,29).
132 edge(29,1).
133 edge(1,41).
134 edge(41,1).
135 edge(1,50).
173 edge(3,5).
[all …]
|
| H A D | 0021-graph_colouring-135-0.lp | 137 edge(1,33).
138 edge(33,1).
139 edge(1,54).
140 edge(54,1).
141 edge(1,80).
142 edge(80,1).
143 edge(1,81).
144 edge(81,1).
145 edge(1,82).
146 edge(82,1).
[all …]
|
| H A D | 0023-graph_colouring-135-0.lp | 137 edge(1,10).
138 edge(10,1).
139 edge(1,14).
140 edge(14,1).
141 edge(1,47).
142 edge(47,1).
143 edge(1,62).
159 edge(2,5).
160 edge(5,2).
161 edge(2,7).
[all …]
|
| H A D | 0007-graph_colouring-125-0.lp | 127 edge(1,3).
128 edge(3,1).
129 edge(1,18).
130 edge(18,1).
131 edge(1,21).
163 edge(3,5).
164 edge(5,3).
165 edge(3,6).
166 edge(6,3).
197 edge(4,9).
[all …]
|
| H A D | 0013-graph_colouring-130-0.lp | 132 edge(1,5).
133 edge(5,1).
134 edge(1,35).
135 edge(35,1).
136 edge(1,37).
137 edge(37,1).
138 edge(1,44).
168 edge(2,6).
169 edge(6,2).
194 edge(3,7).
[all …]
|
| /dports/lang/swi-pl/swipl-8.2.3/src/Tests/xsb/table_tests/ |
| H A D | more_edgesP | 6 edge(sts1,sts147).
7 edge(sts2,sts3).
8 edge(sts2,sts5).
9 edge(sts2,sts4).
10 edge(sts3,sts2).
11 edge(sts3,sts5).
12 edge(sts3,sts6).
13 edge(sts3,sts4).
14 edge(sts4,sts2).
15 edge(sts4,sts3).
[all …]
|
| /dports/math/igraph/igraph-0.9.5/examples/simple/ |
| H A D | celegansneural.gml | 1490 edge
1496 edge
1502 edge
1508 edge
1514 edge
1520 edge
1526 edge
1532 edge
1538 edge
1544 edge
[all …]
|
| /dports/math/ogdf/OGDF/doc/examples/layout/ |
| H A D | sierpinski_04.gml | 126 edge [ source 1 target 13 ]
127 edge [ source 1 target 14 ]
128 edge [ source 2 target 52 ]
129 edge [ source 2 target 53 ]
130 edge [ source 3 target 91 ]
131 edge [ source 3 target 92 ]
132 edge [ source 4 target 25 ]
133 edge [ source 4 target 26 ]
134 edge [ source 4 target 64 ]
135 edge [ source 4 target 65 ]
[all …]
|
| /dports/science/frontistr/FrontISTR-c66bdc397de319ca59a0565b3f3b1a3b33f0c50c/hecmw1/tools/partitioner/ |
| H A D | hecmw_mesh_edge_info.c | 22 long long int edge[1]; in edge_info_rod1() local
44 long long int edge[2]; in edge_info_rod2() local
68 long long int edge[3]; in edge_info_tri1() local
94 long long int edge[6]; in edge_info_tri2() local
126 long long int edge[4]; in edge_info_qua1() local
154 long long int edge[8]; in edge_info_qua2() local
190 long long int edge[6]; in edge_info_tet1() local
222 long long int edge[12]; in edge_info_tet2() local
266 long long int edge[8]; in edge_info_pyr1() local
302 long long int edge[16]; in edge_info_pyr2() local
[all …]
|
| /dports/math/ogdf/OGDF/test/resources/north/ |
| H A D | g.61.11.gml | 187 edge [
191 edge [
195 edge [
199 edge [
203 edge [
207 edge [
211 edge [
215 edge [
219 edge [
223 edge [
[all …]
|