Index of /~schmitz/teach/2022_lo5/dimacs/sat

Icon  Name                             Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] sudoku-9x9-easy.cnf 2022-09-05 15:08 113K [   ] exemple-5-8.cnf 2022-09-05 15:08 182 [   ] sudoku-9x9-hard.cnf 2022-09-05 15:08 113K [   ] peirce.cnf 2022-09-05 15:08 108 [   ] ais12.cnf 2022-09-05 15:08 67K [   ] tictactoe.cnf 2022-09-05 15:08 297K [   ] sudoku-9x9-expert.cnf 2022-09-05 15:08 113K [   ] exemple-7-8.cnf 2022-09-05 15:08 96 [   ] coloriage.cnf 2022-09-05 15:08 1.1K [   ] sudoku-9x9-god.cnf 2022-09-05 15:08 113K [   ] dependances.cnf 2022-09-05 15:08 712 [   ] ii8a2.cnf 2022-09-05 15:08 12K [   ] flat50-1000.cnf 2022-09-05 15:08 6.1K [   ] sudoku-4x4.cnf 2022-09-05 15:08 4.5K [   ] exemple-7-2.cnf 2022-09-05 15:08 84 [   ] sudoku-9x9-medium.cnf 2022-09-05 15:08 113K [   ] hamilton.cnf 2022-09-05 15:08 891K [   ] accessibilite.cnf 2022-09-05 15:08 357
Apache/2.4.56 (Debian) Server at www.irif.fr Port 443