Index of /current_tree/solvers/backtrack

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory - [TXT] main.tex 2021-07-15 01:47 1.5K [   ] POPCNT4.cnf 2020-07-05 19:43 1.6K [TXT] SAT_backtrack.py 2021-02-14 02:48 3.5K [TXT] gen_POPCNT.py 2021-02-14 02:48 6.1K [   ] queens8.cnf 2020-07-05 19:43 7.1K [   ] queens10.cnf 2020-07-05 19:43 14K
Apache/2.4.52 (Ubuntu) Server at smt.st Port 443