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

Different Classes for Sharing clauses between different threads in the same process. More...

Collaboration diagram for Intra-Process Sharing Strategies:

Classes

class  HordeSatSharing
 This strategy is a HordeSat-like sharing strategy. More...
 
class  SimpleSharing
 This strategy is a simple sharing strategy. More...
 

Detailed Description

Different Classes for Sharing clauses between different threads in the same process.