dezhangxd/ReasonLS @ e0d1da5839f0ae3f06861aef2533f30edced4934

Sandy Cheung e0d1da5839 0413 with 24 threads,modify pmaple's bugs		8 лет назад
..
.DS_Store	11f3a3d2dd 20170412 para with aspiration	8 лет назад
Dimacs.h	11f3a3d2dd 20170412 para with aspiration	8 лет назад
Main.cc	11f3a3d2dd 20170412 para with aspiration	8 лет назад
Makefile	11f3a3d2dd 20170412 para with aspiration	8 лет назад
Solver.cc	e0d1da5839 0413 with 24 threads,modify pmaple's bugs	8 лет назад
Solver.h	96343b7491 modified python bugs, add some args, 14 threads version	8 лет назад
SolverTypes.h	11f3a3d2dd 20170412 para with aspiration	8 лет назад