Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
---|---|---|---|---|---|---|---|
![]() |
|||||||
![]() |
2198.5.1 | 14 years ago | patrick crews | Added .cnf files for all currently used d-a randge | 206 bytes |
![]() |
![]() |
![]() |
2198.5.1 | 14 years ago | patrick crews | Added .cnf files for all currently used d-a randge | 213 bytes |
![]() |
![]() |
![]() |
2198.5.1 | 14 years ago | patrick crews | Added .cnf files for all currently used d-a randge | 214 bytes |
![]() |
![]() |
![]() |
2198.5.1 | 14 years ago | patrick crews | Added .cnf files for all currently used d-a randge | 226 bytes |
![]() |
![]() |
![]() |
2198.5.1 | 14 years ago | patrick crews | Added .cnf files for all currently used d-a randge | 207 bytes |
![]() |
![]() |
![]() |
2198.5.1 | 14 years ago | patrick crews | Added .cnf files for all currently used d-a randge | 269 bytes |
![]() |
![]() |
![]() |
2198.5.1 | 14 years ago | patrick crews | Added .cnf files for all currently used d-a randge | 238 bytes |
![]() |
![]() |
![]() |
2198.5.1 | 14 years ago | patrick crews | Added .cnf files for all currently used d-a randge | 234 bytes |
![]() |
![]() |
![]() |
2198.5.1 | 14 years ago | patrick crews | Added .cnf files for all currently used d-a randge | 246 bytes |
![]() |
![]() |
![]() |
2198.5.1 | 14 years ago | patrick crews | Added .cnf files for all currently used d-a randge | 224 bytes |
![]() |
![]() |
![]() |
2198.5.1 | 14 years ago | patrick crews | Added .cnf files for all currently used d-a randge | 252 bytes |
![]() |
![]() |
![]() |
2198.5.1 | 14 years ago | patrick crews | Added .cnf files for all currently used d-a randge | 230 bytes |
![]() |
![]() |
![]() |
2198.5.1 | 14 years ago | patrick crews | Added .cnf files for all currently used d-a randge | 246 bytes |
![]() |
![]() |
![]() |
2194.2.1 | 14 years ago | patrick crews | Integrated randgen with dbqp. We now have mode=ra | 233 bytes |
![]() |
![]() |
![]() |
2198.5.1 | 14 years ago | patrick crews | Added .cnf files for all currently used d-a randge | 239 bytes |
![]() |
![]() |
![]() |
2198.5.1 | 14 years ago | patrick crews | Added .cnf files for all currently used d-a randge | 259 bytes |
![]() |
![]() |
![]() |
2198.5.1 | 14 years ago | patrick crews | Added .cnf files for all currently used d-a randge | 261 bytes |
![]() |
![]() |
![]() |
2198.5.1 | 14 years ago | patrick crews | Added .cnf files for all currently used d-a randge | 217 bytes |
![]() |
![]() |
![]() |
2198.5.1 | 14 years ago | patrick crews | Added .cnf files for all currently used d-a randge | 226 bytes |
![]() |
![]() |
![]() |
2198.5.1 | 14 years ago | patrick crews | Added .cnf files for all currently used d-a randge | 233 bytes |
![]() |
![]() |
![]() |
2198.5.1 | 14 years ago | patrick crews | Added .cnf files for all currently used d-a randge | 216 bytes |
![]() |
![]() |