![(please configure the [header_logo] section in trac.ini)](/trac/verif_tools/chrome/site/your_project_logo.png){kind=logo}
source:
vis_dev/vis-2.3/models/debug/andé.cnf
@
33
| Last change on this file since 33 was 33, checked in by , 12 years ago | |
|---|---|
| File size: 227 bytes | |
| Line | |
|---|---|
| 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.
