Lucas Stadler
45ea797254
add a few example cnfs
|
10 ans auparavant | |
|---|---|---|
| .. | ||
| 01-one-to-nine.cnf | 10 ans auparavant | |
| 02-interleaved.cnf | 10 ans auparavant | |
| 03-interleaved2.cnf | 10 ans auparavant | |
| external-01-aim-50-1_6-yes1-4.cnf | 10 ans auparavant | |
| external-02-quinn.cnf | 10 ans auparavant | |