blob: a4e360059ad12203447cc28118dc8cf4ba15ac19 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
|
bin/anldp
bin/mace2
bin/otter
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/summary
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/Run_group
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/robbins.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/pigeon.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/salt.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/x2_quant.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/lifsch.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/mv25.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/steam.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/comm.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/ring_x2.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/tba_gg.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/x2_quant.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/w_sk.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/z11.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/pigeon.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/comm.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/salt.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/lifsch.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/sam.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/steam.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/wang1.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/group.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/cn19.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/ec_yq.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/ring_x2.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/robbins.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/ec_yq.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/wang1.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/w_sk.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/group.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/index.html
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/README
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/cn19.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/z11.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/sam.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/tba_gg.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/auto/mv25.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/sax1.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/dem_alu.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/sax2.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/mv.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/andrews.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/dem_alu.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/stage1.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/str_bws.in.28752
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/cn.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/str_bws.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/andrews.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/kb_bench.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/stage2.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/dem_alu.in.28752
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/andrews.in.28752
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/cn.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/stage2.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/stage1.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/mv.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/index.html
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/sax2.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/README
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/kb_bench.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/mv.in.28752
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/cn.in.28752
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/str_bws.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/sax1.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/ec.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/misc/ec.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/Makefile
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/luka5h.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/lexical1.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/gl8.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/x3tricks.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/lexical2.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/if.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/lexical3.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/lexical2.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/mfl_13.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/gl8.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/mfl_13.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/gl4.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/rob_ocd.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/ec_yql.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/ec_yql.in.28897
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/rob_ocd.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/x3tricks.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/olsax_hints.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/bring.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/index.html
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/if.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/gl4.in.28897
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/gl4.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/README
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/luka5h.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/lexical1.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/bring.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/lexical3.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/ec_yql.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/fringe/olsax_hints.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wos/grp_exp4.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wos/grp_exp3.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wos/cursory.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wos/cursory.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wos/twoval.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wos/README.more
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wos/rigorous.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wos/grp_exp4.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wos/rigorous.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wos/rob_occ.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wos/index.html
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wos/rob_occ.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wos/manyval.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wos/README
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wos/manyval.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wos/twoval.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/wos/grp_exp3.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/Loop/temp
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/Loop/otter-ploop
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/Loop/Sheffer-mgi-without-mirrors
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/Loop/README
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/Loop/head
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ivy/group-x2-refute.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ivy/group-comm.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ivy/lifsch.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ivy/steam.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ivy/group-x2.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ivy/comb-sk-w.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ivy/lifsch.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ivy/p-and-not-p.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ivy/p-and-not-p.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ivy/steam.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ivy/cd-cn19.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ivy/t1.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ivy/group-comm.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ivy/comb-sk-w.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ivy/group-x2-refute.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ivy/group-x2.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ivy/index.html
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ivy/README
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ivy/cd-cn19.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/ivy/t1.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/index.html
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/README
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/program/mission.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/program/jugs.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/program/queens.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/program/jugs.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/program/two_inv.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/program/two_inv.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/program/eval.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/program/mission.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/program/queens.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/program/index.html
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/program/README
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/program/eval.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/Run_all
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/Run_all.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/kalman/i4.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/kalman/ex_1.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/kalman/i1.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/kalman/ex_4.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/kalman/ex_3.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/kalman/ex_2.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/kalman/i3.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/kalman/ex_2.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/kalman/ex_4.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/kalman/ex_3.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/kalman/ex_1.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/kalman/i4.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/kalman/i3.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/kalman/index.html
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/kalman/i1.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/kalman/README
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/kalman/i2.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/kalman/i2.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/GEO010-2.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/wang3.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/group2.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/power.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/GEO036-2.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/zebra4.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/pigeon5.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/GEO036-2.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/wang3.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/zebra2.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/README.more
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/noncomm-group.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/pigeon5.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/power.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/GRP025-1.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/noncomm-group.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/zebra4.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/temp1
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/group2.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/index.html
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/README
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/pair.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/pair.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/zebra2.out
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/GRP025-1.in
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/split/GEO010-2.out
%%PORTEXAMPLES%%share/examples/mace2/Run_mace
%%PORTEXAMPLES%%share/examples/mace2/Makefile
%%PORTEXAMPLES%%share/examples/mace2/basic/temp
%%PORTEXAMPLES%%share/examples/mace2/basic/cl_sw.out
%%PORTEXAMPLES%%share/examples/mace2/basic/cd.in
%%PORTEXAMPLES%%share/examples/mace2/basic/tough-nut.out
%%PORTEXAMPLES%%share/examples/mace2/basic/cl_ql.in
%%PORTEXAMPLES%%share/examples/mace2/basic/tba.in
%%PORTEXAMPLES%%share/examples/mace2/basic/noncommutative_group.in
%%PORTEXAMPLES%%share/examples/mace2/basic/cd.out
%%PORTEXAMPLES%%share/examples/mace2/basic/tba.out
%%PORTEXAMPLES%%share/examples/mace2/basic/ordered_semi.in
%%PORTEXAMPLES%%share/examples/mace2/basic/index.html
%%PORTEXAMPLES%%share/examples/mace2/basic/README
%%PORTEXAMPLES%%share/examples/mace2/basic/tough-nut.in
%%PORTEXAMPLES%%share/examples/mace2/basic/cl_ql.out
%%PORTEXAMPLES%%share/examples/mace2/basic/ring.in
%%PORTEXAMPLES%%share/examples/mace2/basic/cl_sw.in
%%PORTEXAMPLES%%share/examples/mace2/basic/program
%%PORTEXAMPLES%%share/examples/mace2/basic/ring.out
%%PORTEXAMPLES%%share/examples/mace2/basic/noncommutative_group.out
%%PORTEXAMPLES%%share/examples/mace2/basic/ordered_semi.out
%%PORTEXAMPLES%%share/examples/mace2/iterate/CAT019-5.out
%%PORTEXAMPLES%%share/examples/mace2/iterate/PUZ001-3.in
%%PORTEXAMPLES%%share/examples/mace2/iterate/LAT025-1.in
%%PORTEXAMPLES%%share/examples/mace2/iterate/LCL136-1.out
%%PORTEXAMPLES%%share/examples/mace2/iterate/RNG025-8.in
%%PORTEXAMPLES%%share/examples/mace2/iterate/noncommutive_ring1.out
%%PORTEXAMPLES%%share/examples/mace2/iterate/noncommutive_ring1.in
%%PORTEXAMPLES%%share/examples/mace2/iterate/CAT019-5.in
%%PORTEXAMPLES%%share/examples/mace2/iterate/cd.in
%%PORTEXAMPLES%%share/examples/mace2/iterate/noncommutative_group.in
%%PORTEXAMPLES%%share/examples/mace2/iterate/cd.out
%%PORTEXAMPLES%%share/examples/mace2/iterate/PUZ001-3.out
%%PORTEXAMPLES%%share/examples/mace2/iterate/BOO032-1.in
%%PORTEXAMPLES%%share/examples/mace2/iterate/index.html
%%PORTEXAMPLES%%share/examples/mace2/iterate/README
%%PORTEXAMPLES%%share/examples/mace2/iterate/BOO032-1.out
%%PORTEXAMPLES%%share/examples/mace2/iterate/kauer.out
%%PORTEXAMPLES%%share/examples/mace2/iterate/program
%%PORTEXAMPLES%%share/examples/mace2/iterate/LCL136-1.in
%%PORTEXAMPLES%%share/examples/mace2/iterate/kauer.in
%%PORTEXAMPLES%%share/examples/mace2/iterate/LAT025-1.out
%%PORTEXAMPLES%%share/examples/mace2/iterate/RNG025-8.out
%%PORTEXAMPLES%%share/examples/mace2/iterate/noncommutative_group.out
%%PORTEXAMPLES%%share/examples/mace2/propositional/p8.out
%%PORTEXAMPLES%%share/examples/mace2/propositional/p10.IN
%%PORTEXAMPLES%%share/examples/mace2/propositional/p7.out
%%PORTEXAMPLES%%share/examples/mace2/propositional/f3.out
%%PORTEXAMPLES%%share/examples/mace2/propositional/p9.out
%%PORTEXAMPLES%%share/examples/mace2/propositional/p6.in
%%PORTEXAMPLES%%share/examples/mace2/propositional/p6.out
%%PORTEXAMPLES%%share/examples/mace2/propositional/README.more
%%PORTEXAMPLES%%share/examples/mace2/propositional/p9.in
%%PORTEXAMPLES%%share/examples/mace2/propositional/q10.in
%%PORTEXAMPLES%%share/examples/mace2/propositional/f4.out
%%PORTEXAMPLES%%share/examples/mace2/propositional/f2.in
%%PORTEXAMPLES%%share/examples/mace2/propositional/f2.out
%%PORTEXAMPLES%%share/examples/mace2/propositional/p5.out
%%PORTEXAMPLES%%share/examples/mace2/propositional/index.html
%%PORTEXAMPLES%%share/examples/mace2/propositional/README
%%PORTEXAMPLES%%share/examples/mace2/propositional/q10.out
%%PORTEXAMPLES%%share/examples/mace2/propositional/p8.in
%%PORTEXAMPLES%%share/examples/mace2/propositional/p5.in
%%PORTEXAMPLES%%share/examples/mace2/propositional/f4.in
%%PORTEXAMPLES%%share/examples/mace2/propositional/program
%%PORTEXAMPLES%%share/examples/mace2/propositional/f3.in
%%PORTEXAMPLES%%share/examples/mace2/propositional/p7.in
%%PORTEXAMPLES%%share/examples/mace2/lattice/lt-ol.out
%%PORTEXAMPLES%%share/examples/mace2/lattice/ml-mol.out
%%PORTEXAMPLES%%share/examples/mace2/lattice/ol-e4.out
%%PORTEXAMPLES%%share/examples/mace2/lattice/oml-mol.in
%%PORTEXAMPLES%%share/examples/mace2/lattice/ol-oml.in
%%PORTEXAMPLES%%share/examples/mace2/lattice/oml-mol.out
%%PORTEXAMPLES%%share/examples/mace2/lattice/lt-ml.out
%%PORTEXAMPLES%%share/examples/mace2/lattice/lt-ol.in
%%PORTEXAMPLES%%share/examples/mace2/lattice/finite-lattice
%%PORTEXAMPLES%%share/examples/mace2/lattice/ortholattice
%%PORTEXAMPLES%%share/examples/mace2/lattice/lattice-axioms
%%PORTEXAMPLES%%share/examples/mace2/lattice/ol-e1.out
%%PORTEXAMPLES%%share/examples/mace2/lattice/ol-oml.out
%%PORTEXAMPLES%%share/examples/mace2/lattice/ml-mol.in
%%PORTEXAMPLES%%share/examples/mace2/lattice/index.html
%%PORTEXAMPLES%%share/examples/mace2/lattice/README
%%PORTEXAMPLES%%share/examples/mace2/lattice/mol-ba.out
%%PORTEXAMPLES%%share/examples/mace2/lattice/ol-e1.in
%%PORTEXAMPLES%%share/examples/mace2/lattice/mol-ba.in
%%PORTEXAMPLES%%share/examples/mace2/lattice/program
%%PORTEXAMPLES%%share/examples/mace2/lattice/ol-e4.in
%%PORTEXAMPLES%%share/examples/mace2/lattice/lt-ml.in
%%PORTEXAMPLES%%share/examples/mace2/index.html
%%PORTEXAMPLES%%share/examples/mace2/README
%%PORTEXAMPLES%%share/examples/mace2/quasigroup/qg7bl.in
%%PORTEXAMPLES%%share/examples/mace2/quasigroup/qg6.in
%%PORTEXAMPLES%%share/examples/mace2/quasigroup/qg4.out
%%PORTEXAMPLES%%share/examples/mace2/quasigroup/qg1d.out
%%PORTEXAMPLES%%share/examples/mace2/quasigroup/omts9.in
%%PORTEXAMPLES%%share/examples/mace2/quasigroup/qg3.in
%%PORTEXAMPLES%%share/examples/mace2/quasigroup/qg5l.out
%%PORTEXAMPLES%%share/examples/mace2/quasigroup/qg3.out
%%PORTEXAMPLES%%share/examples/mace2/quasigroup/omts9.out
%%PORTEXAMPLES%%share/examples/mace2/quasigroup/qg1d.in
%%PORTEXAMPLES%%share/examples/mace2/quasigroup/qg7bl.out
%%PORTEXAMPLES%%share/examples/mace2/quasigroup/index.html
%%PORTEXAMPLES%%share/examples/mace2/quasigroup/qg6.out
%%PORTEXAMPLES%%share/examples/mace2/quasigroup/README
%%PORTEXAMPLES%%share/examples/mace2/quasigroup/qg5l.in
%%PORTEXAMPLES%%share/examples/mace2/quasigroup/program
%%PORTEXAMPLES%%share/examples/mace2/quasigroup/qg4.in
%%PORTEXAMPLES%%share/examples/mace2/quasigroup/qg2d.in
%%PORTEXAMPLES%%share/examples/mace2/quasigroup/qg2d.out
%%PORTEXAMPLES%%share/examples/mace2/Run_all
%%PORTEXAMPLES%%share/examples/mace2/Run_all.out
%%PORTEXAMPLES%%share/examples/mace2/Run_anldp
%%PORTEXAMPLES%%share/examples/mace2/Perl-examples/Sheffer-mgi-without-mirrors
%%PORTEXAMPLES%%share/examples/mace2/Perl-examples/commute4_filter
%%PORTEXAMPLES%%share/examples/mace2/Perl-examples/index.html
%%PORTEXAMPLES%%share/examples/mace2/Perl-examples/README
%%PORTEXAMPLES%%share/examples/mace2/Perl-examples/candidates
%%PORTEXAMPLES%%@dirrm %%EXAMPLESDIR%%/auto
%%PORTEXAMPLES%%@dirrm %%EXAMPLESDIR%%/misc
%%PORTEXAMPLES%%@dirrm %%EXAMPLESDIR%%/fringe
%%PORTEXAMPLES%%@dirrm %%EXAMPLESDIR%%/wos
%%PORTEXAMPLES%%@dirrm %%EXAMPLESDIR%%/Loop
%%PORTEXAMPLES%%@dirrm %%EXAMPLESDIR%%/ivy
%%PORTEXAMPLES%%@dirrm %%EXAMPLESDIR%%/program
%%PORTEXAMPLES%%@dirrm %%EXAMPLESDIR%%/kalman
%%PORTEXAMPLES%%@dirrm %%EXAMPLESDIR%%/split
%%PORTEXAMPLES%%@dirrm %%EXAMPLESDIR%%
%%PORTEXAMPLES%%@dirrm share/examples/mace2/basic
%%PORTEXAMPLES%%@dirrm share/examples/mace2/iterate
%%PORTEXAMPLES%%@dirrm share/examples/mace2/propositional
%%PORTEXAMPLES%%@dirrm share/examples/mace2/lattice
%%PORTEXAMPLES%%@dirrm share/examples/mace2/quasigroup
%%PORTEXAMPLES%%@dirrm share/examples/mace2/Perl-examples
%%PORTEXAMPLES%%@dirrm share/examples/mace2
|
