Index of /current_tree/other/regex_SAT/files

Icon  Name                           Last modified      Size  Description
[PARENTDIR] Parent Directory                                    -   
[   ] POPCNT4.cnf                    2020-09-29 01:48  1.6K  
[   ] popcnt1.cnf                    2020-09-29 01:48  104   
[TXT] solver.py                      2021-02-14 02:48  1.6K
Apache/2.4.52 (Ubuntu) Server at smt.st Port 443