Name Last modified Size Description Parent Directory - fred.cnf 2020-07-05 19:42 2.5K POPCNT4.cnf 2020-07-05 19:42 1.6K popcnt1.cnf 2020-07-05 19:42 104 solver.py 2020-07-05 19:42 1.5K