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