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

 Name                             Last modified      Size  Description
 Parent Directory                                      -   
 systeme.cnf                      2021-09-13 11:06  241   
 hole6.cnf                        2021-09-13 11:06  2.5K  
 grammaire.cnf                    2021-09-13 11:06  286   
 exemple-7-4.cnf                  2021-09-13 11:06  121   
 exemple-3-13.cnf                 2021-09-13 11:06  107   
 dubois21.cnf                     2021-09-13 11:06  2.7K  
 dubois20.cnf                     2021-09-13 11:06  2.5K  
 bf1355-075.cnf                   2021-09-13 11:06   97K  
 aim-50-1_6-no-1.cnf              2021-09-13 11:06  1.2K