Index of /~schmitz/teach/2023_lo5/dimacs/SAT

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