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 години | |