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

 Name                             Last modified      Size  Description
 Parent Directory                                      -   
 tictactoe.cnf                    2020-10-23 17:52  297K  
 sudoku-9x9-medium.cnf            2020-10-01 18:02  113K  
 sudoku-9x9-hard.cnf              2020-10-01 18:02  113K  
 sudoku-9x9-god.cnf               2020-10-01 18:02  113K  
 sudoku-9x9-expert.cnf            2020-10-01 18:02  113K  
 sudoku-9x9-easy.cnf              2020-10-01 18:02  113K  
 sudoku-4x4.cnf                   2020-10-01 16:08  4.5K  
 peirce.cnf                       2020-10-01 16:08  108   
 ii8a2.cnf                        2020-10-01 16:08   12K  
 flat50-1000.cnf                  2020-10-01 16:08  6.1K  
 exemple-7-2.cnf                  2020-10-01 16:08   84   
 exemple-5-8.cnf                  2020-10-01 16:07  182   
 dependances.cnf                  2020-10-01 17:06  712   
 coloriage.cnf                    2020-10-01 16:07  1.1K  
 ais12.cnf                        2020-10-01 16:07   67K