source:
vis_dev/vis-2.3/models/debug/andé.cnf
@
33
Last change on this file since 33 was 33, checked in by , 13 years ago | |
---|---|
File size: 227 bytes |
Rev | Line | |
---|---|---|
[33] | 1 | c Nd73_85_0 4 |
2 | c a_0_0 6 | |
3 | c Nd13_36_0 7 | |
4 | c Nd12_37_0 5 | |
5 | c c_0_1 3 | |
6 | c c_0_0 1 | |
7 | p cnf 9 19 | |
8 | 1 2 0 | |
9 | -1 -2 0 | |
10 | 2 0 | |
11 | -6 1 5 0 | |
12 | 6 -5 0 | |
13 | -1 -5 0 | |
14 | 6 -1 7 0 | |
15 | -6 -7 0 | |
16 | 1 -7 0 | |
17 | 5 7 4 0 | |
18 | -5 -4 0 | |
19 | -7 -4 0 | |
20 | 3 4 8 0 | |
21 | -3 -8 0 | |
22 | -4 -8 0 | |
23 | -3 -4 9 0 | |
24 | 3 -9 0 | |
25 | 4 -9 0 | |
26 | 8 9 0 |
Note: See TracBrowser
for help on using the repository browser.