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