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