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

 Name                      Last modified      Size  Description
 Parent Directory                               -   
 sudoku-9x9.cnf            2020-09-28 17:54  113K  
 sudoku-4x4.cnf            2020-09-28 17:54  4.5K  
 peirce.cnf                2020-09-28 17:54  108   
 ii8a2.cnf                 2020-09-28 17:54   12K  
 flat50-1000.cnf           2020-09-28 17:54  6.1K  
 exemple-7-8.cnf           2020-09-28 17:54   96   
 exemple-7-2.cnf           2020-09-28 17:54   84   
 exemple-5-8.cnf           2020-09-28 17:54  182   
 dependances.cnf           2020-09-28 17:54  720   
 coloriage.cnf             2020-09-28 17:54  1.1K  
 ais12.cnf                 2020-09-28 17:54   67K  
 accessibilite.cnf         2020-09-28 17:54  357