search

limo1996 / SAT-Solver

Parallel SAT Solver
8 stars 1 forks source link

Stealing scheduler #25

Closed limo1996 closed 6 years ago

limo1996 commented 6 years ago

Please review my changes. Stealing scheduler is now 100% working for sat cases but there are issues with SlaveWorker crach... Thank you..