Name Last modified Size DescriptionApache/2.4.52 (Ubuntu) Server at smt.st Port 443
Parent Directory - main_EN.tex 2021-03-20 21:29 7.7K with_tests.py 2021-02-14 02:48 13K tst.py 2021-02-14 02:48 1.6K minesweeper_SAT.py 2021-02-14 02:48 12K tst1.cnf 2020-07-05 19:43 755 popcnt.nb 2020-07-05 19:43 445K sample.cnf 2020-07-05 19:43 24K tst2.cnf 2020-07-05 19:43 776