Index of /current_tree/puzzles/numberlink/MaxSAT

Icon  Name                              Last modified      Size  Description
[PARENTDIR] Parent Directory                                       -   
[TXT] numberlink_WBO.py                 2020-07-05 19:43  5.9K  
[IMG] SAT.png                           2020-07-05 19:43  8.7K  
[TXT] results_SAT.txt                   2020-07-05 19:43  1.0K  
[IMG] MaxSAT.png                        2020-07-05 19:43  8.8K  
[TXT] results_MaxSAT.txt                2020-07-05 19:43  1.0K  
[TXT] main_EN.tex                       2021-03-20 21:29  1.2K
Apache/2.4.52 (Ubuntu) Server at smt.st Port 443