sidekick

mirror of https://github.com/c-cube/sidekick.git synced 2026-03-11 07:58:43 -04:00

History

Simon Cruanes a08cda8c5b test: add a lot more tests (for SAT)		2021-08-02 16:05:35 -04:00
..
README
uuf250-01.cnf
uuf250-02.cnf
uuf250-03.cnf
uuf250-04.cnf
uuf250-05.cnf
uuf250-06.cnf
uuf250-07.cnf
uuf250-08.cnf
uuf250-09.cnf
uuf250-010.cnf
uuf250-011.cnf
uuf250-012.cnf
uuf250-013.cnf
uuf250-014.cnf
uuf250-015.cnf
uuf250-016.cnf
uuf250-017.cnf
uuf250-018.cnf
uuf250-019.cnf
uuf250-020.cnf
uuf250-021.cnf
uuf250-022.cnf
uuf250-023.cnf
uuf250-024.cnf
uuf250-025.cnf
uuf250-026.cnf
uuf250-027.cnf
uuf250-028.cnf
uuf250-029.cnf
uuf250-030.cnf
uuf250-031.cnf
uuf250-032.cnf
uuf250-033.cnf
uuf250-034.cnf
uuf250-035.cnf
uuf250-036.cnf
uuf250-037.cnf
uuf250-038.cnf
uuf250-039.cnf
uuf250-040.cnf
uuf250-041.cnf
uuf250-042.cnf
uuf250-043.cnf
uuf250-044.cnf
uuf250-045.cnf
uuf250-046.cnf
uuf250-047.cnf
uuf250-048.cnf
uuf250-049.cnf
uuf250-050.cnf
uuf250-051.cnf
uuf250-052.cnf
uuf250-053.cnf
uuf250-054.cnf
uuf250-055.cnf
uuf250-056.cnf
uuf250-057.cnf
uuf250-058.cnf
uuf250-059.cnf
uuf250-060.cnf
uuf250-061.cnf
uuf250-062.cnf
uuf250-063.cnf
uuf250-064.cnf
uuf250-065.cnf
uuf250-066.cnf
uuf250-067.cnf
uuf250-068.cnf
uuf250-069.cnf
uuf250-070.cnf
uuf250-071.cnf
uuf250-072.cnf
uuf250-073.cnf
uuf250-074.cnf
uuf250-075.cnf
uuf250-076.cnf
uuf250-077.cnf
uuf250-078.cnf
uuf250-079.cnf
uuf250-080.cnf
uuf250-081.cnf
uuf250-082.cnf
uuf250-083.cnf
uuf250-084.cnf
uuf250-085.cnf
uuf250-086.cnf
uuf250-087.cnf
uuf250-088.cnf
uuf250-089.cnf
uuf250-090.cnf
uuf250-091.cnf
uuf250-092.cnf
uuf250-093.cnf
uuf250-094.cnf
uuf250-095.cnf
uuf250-096.cnf
uuf250-097.cnf
uuf250-098.cnf
uuf250-099.cnf
uuf250-0100.cnf