Index of /news/20200621_regex_SAT/files

Icon  Name                      Last modified      Size  Description
[PARENTDIR] Parent Directory                               -   
[TXT] solver.py                 2020-07-05 19:42  1.5K  
[   ] popcnt1.cnf               2020-07-05 19:42  104   
[   ] POPCNT4.cnf               2020-07-05 19:42  1.6K  
[   ] fred.cnf                  2020-07-05 19:42  2.5K
Apache/2.4.52 (Ubuntu) Server at yurichev.com Port 443