limo1996 / SAT-Solver

Parallel SAT Solver
8 stars 1 forks source link

Stealing vs master<->worker #29

Closed limo1996 closed 6 years ago

limo1996 commented 6 years ago

Stealing improved. Measuring script for stealing vs master<->worker created.