Index of /current_tree/solvers/backtrack

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 POPCNT4.cnf             2020-07-05 19:43  1.6K  
 SAT_backtrack.py        2025-10-16 18:28  3.5K  
 gen_POPCNT.py           2021-02-14 02:48  6.1K  
 main.tex                2025-10-16 18:28  1.5K  
 queens10.cnf            2020-07-05 19:43   14K  
 queens8.cnf             2020-07-05 19:43  7.1K

Apache/2.4.52 (Ubuntu) Server at smt.st Port 443