Index of /news/20210722_Knuth_SAT/files

 Name                      Last modified      Size  Description
 Parent Directory                               -   
 sat0.c                    2021-07-22 03:40   13K  
 sat0.pdf                  2021-07-22 03:40  158K  
 sat0w.c                   2021-07-22 03:40   12K  
 sat0w.pdf                 2021-07-22 03:40  143K  
 sat10.c                   2021-07-22 03:40   21K  
 sat10.pdf                 2021-07-22 03:40  181K  
 sat11.c                   2021-07-22 03:40   88K  
 sat11.pdf                 2021-07-22 03:40  480K  
 sat11k.c                  2021-07-22 03:40   94K  
 sat11k.pdf                2021-07-22 03:40  503K  
 sat12-erp.c               2021-07-22 03:40   13K  
 sat12-erp.pdf             2021-07-22 03:40  114K  
 sat12.c                   2021-07-22 03:40   81K  
 sat12.pdf                 2021-07-22 03:40  304K  
 sat13.c                   2021-07-22 03:40   67K  
 sat13.pdf                 2021-07-22 03:40  467K  
 sat8.c                    2021-07-22 03:40   16K  
 sat8.pdf                  2021-07-22 03:40  160K  
 sat9.c                    2021-07-22 03:40   19K  
 sat9.pdf                  2021-07-22 03:40  191K