OKlibrary  0.2.1.6
DistributedSolving.hpp File Reference

Plans for distributed SAT solving. More...

Go to the source code of this file.


Detailed Description

Plans for distributed SAT solving.

Here we are concerned more with experimentation, collaboration of different groups etc., while in Interfaces/DistributedSolving/plans/general.hpp the emphasise is on specific tools in the realm of SplittingViaOKsolver.

Todo:
Connections

Definition in file DistributedSolving.hpp.