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

 Name                             Last modified      Size  Description
 Parent Directory                                      -   
 systeme.cnf                      2020-10-01 17:06  241   
 hole6.cnf                        2020-10-01 16:07  2.5K  
 exemple-7-4.cnf                  2020-10-01 16:07  121   
 exemple-3-12.cnf                 2020-10-01 16:06  107   
 dubois21.cnf                     2020-10-01 16:05  2.7K  
 dubois20.cnf                     2020-10-01 16:05  2.5K  
 bf1355-075.cnf                   2020-10-01 16:05   97K  
 aim-50-1_6-no-1.cnf              2020-10-01 16:05  1.2K