Painless
A framework to ease parallelization of sequential CDCL SAT solvers
Loading...
Searching...
No Matches
Inter-Process Sharing Strategies

Different Classes for Sharing clauses between different processes. More...

Collaboration diagram for Inter-Process Sharing Strategies:

Classes

class  GlobalSharingStrategy
 Base class for global clause sharing strategies across MPI processes. More...
 
class  AllGatherSharing
 Implements a global sharing strategy using MPI_Allgather for clause exchange. More...
 
class  GenericGlobalSharing
 Implements a generic global sharing strategy for clause exchange. More...
 
class  MallobSharing
 Implements a global sharing strategy based on the Mallob algorithm. More...
 

Detailed Description

Different Classes for Sharing clauses between different processes.