![(please configure the [header_logo] section in trac.ini)](/trac/verif_tools/chrome/site/your_project_logo.png){kind=logo}
source:
vis_dev/glu-2.3/src/cuBdd/r7x8.1.mat
@
19
| Last change on this file since 19 was 13, checked in by , 13 years ago | |
|---|---|
| File size: 316 bytes | |
| Line | |
|---|---|
| 1 | 7 9 |
| 2 | 0 0 1 |
| 3 | 0 1 1 |
| 4 | 0 2 1 |
| 5 | 0 3 4 |
| 6 | 0 4 3 |
| 7 | 0 5 3 |
| 8 | 0 6 3 |
| 9 | 0 8 3 |
| 10 | 1 0 4 |
| 11 | 1 1 3 |
| 12 | 1 2 2 |
| 13 | 1 3 4 |
| 14 | 1 4 1 |
| 15 | 1 5 2 |
| 16 | 1 6 4 |
| 17 | 1 8 3 |
| 18 | 2 0 1 |
| 19 | 2 1 1 |
| 20 | 2 2 4 |
| 21 | 2 4 2 |
| 22 | 2 5 3 |
| 23 | 2 6 3 |
| 24 | 2 8 3 |
| 25 | 3 0 2 |
| 26 | 3 1 1 |
| 27 | 3 3 4 |
| 28 | 3 4 4 |
| 29 | 3 5 1 |
| 30 | 3 8 1 |
| 31 | 4 0 2 |
| 32 | 4 1 3 |
| 33 | 4 2 2 |
| 34 | 4 3 4 |
| 35 | 4 4 1 |
| 36 | 4 5 1 |
| 37 | 4 6 2 |
| 38 | 4 8 2 |
| 39 | 5 0 3 |
| 40 | 5 1 3 |
| 41 | 5 2 4 |
| 42 | 5 3 4 |
| 43 | 5 4 1 |
| 44 | 5 5 3 |
| 45 | 5 6 3 |
| 46 | 5 8 4 |
| 47 | 6 1 1 |
| 48 | 6 2 1 |
| 49 | 6 3 4 |
| 50 | 6 4 2 |
| 51 | 6 5 4 |
| 52 | 6 6 4 |
| 53 | 6 8 2 |
Note: See TracBrowser
for help on using the repository browser.
