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

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