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 [   ] fred.cnf 2020-07-05 19:42 2.5K [   ] POPCNT4.cnf 2020-07-05 19:42 1.6K
Apache/2.4.52 (Ubuntu) Server at yurichev.com Port 443