search

limo1996 / SAT-Solver

Parallel SAT Solver
8 stars 1 forks source link

Fixes in MPI Worker and Master #5

Closed ebhardjan closed 6 years ago

ebhardjan commented 6 years ago

I think the basic MPI communication works now.