Lucas Stadler
45ea797254
add a few example cnfs
|
лет назад: 10 | |
|---|---|---|
| .. | ||
| 01-one-to-nine.cnf | лет назад: 10 | |
| 02-interleaved.cnf | лет назад: 10 | |
| 03-interleaved2.cnf | лет назад: 10 | |
| external-01-aim-50-1_6-yes1-4.cnf | лет назад: 10 | |
| external-02-quinn.cnf | лет назад: 10 | |