limo1996 / SAT-Solver

Parallel SAT Solver
8 stars 1 forks source link

Mpi worker - first version #4

Closed ebhardjan closed 6 years ago

ebhardjan commented 6 years ago

There are still some TODOs in the code. Mainly some places where I think we could run into glitches, but for a couple of first end-to-end test runs it should be fine. In case anyone wants to do a code review, now would be the time ;-)