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

 Name                             Last modified      Size  Description
 Parent Directory                                      -   
 tictactoe.cnf                    2021-09-13 11:06  297K  
 sudoku-9x9-medium.cnf            2021-09-13 11:06  113K  
 sudoku-9x9-hard.cnf              2021-09-13 11:06  113K  
 sudoku-9x9-god.cnf               2021-09-13 11:06  113K  
 sudoku-9x9-expert.cnf            2021-09-13 11:06  113K  
 sudoku-9x9-easy.cnf              2021-09-13 11:06  113K  
 sudoku-4x4.cnf                   2021-09-13 11:06  4.5K  
 peirce.cnf                       2021-09-13 11:06  108   
 ii8a2.cnf                        2021-09-13 11:06   12K  
 hamilton.cnf                     2021-09-13 11:06  891K  
 flat50-1000.cnf                  2021-09-13 11:06  6.1K  
 exemple-7-8.cnf                  2021-09-13 11:06   96   
 exemple-7-2.cnf                  2021-09-13 11:06   84   
 exemple-5-8.cnf                  2021-09-13 11:06  182   
 dependances.cnf                  2021-09-13 11:06  712   
 coloriage.cnf                    2021-09-13 11:06  1.1K  
 ais12.cnf                        2021-09-13 11:06   67K  
 accessibilite.cnf                2021-09-13 11:06  357