![(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/and2.cnf
@
33
| Last change on this file since 33 was 33, checked in by , 12 years ago | |
|---|---|
| File size: 284 bytes | |
| Line | |
|---|---|
| 1 | c Nd37_48_0 9 |
| 2 | c a_0_0 7 |
| 3 | c Nd12_24_0 6 |
| 4 | c Nd36_49_0 5 |
| 5 | c b_0_0 8 |
| 6 | c Nd85_97_0 4 |
| 7 | c c_0_1 3 |
| 8 | c c_0_0 1 |
| 9 | p cnf 11 22 |
| 10 | 1 2 0 |
| 11 | -1 -2 0 |
| 12 | 2 0 |
| 13 | -7 -8 6 0 |
| 14 | 7 -6 0 |
| 15 | 8 -6 0 |
| 16 | -1 6 5 0 |
| 17 | 1 -5 0 |
| 18 | -6 -5 0 |
| 19 | 1 -6 9 0 |
| 20 | -1 -9 0 |
| 21 | 6 -9 0 |
| 22 | 5 9 4 0 |
| 23 | -5 -4 0 |
| 24 | -9 -4 0 |
| 25 | 3 4 10 0 |
| 26 | -3 -10 0 |
| 27 | -4 -10 0 |
| 28 | -3 -4 11 0 |
| 29 | 3 -11 0 |
| 30 | 4 -11 0 |
| 31 | 10 11 0 |
Note: See TracBrowser
for help on using the repository browser.
