 |
Painless
A framework to ease parallelization of sequential CDCL SAT solvers
|
|
Painless
A framework to ease parallelization of sequential CDCL SAT solvers
|
Working Strategies related classes. More...
Classes | |
| class | PortfolioPRS |
| An Implementation of WorkingStrategy that mimics the strategy used in the PRS-Distributed solver from ISC24. More... | |
| class | PortfolioSimple |
| A Simple Implementation of WorkingStrategy for the portfolio parallel strategy This strategy uses the different factories SolverFactory and SharingStrategyFactory in order to instantiate the different needed components specified by the parameters. More... | |
| class | SequentialWorker |
| Basic Implementation of WorkingStrategy for a sequential execution. More... | |
| class | WorkingStrategy |
| Base Interface for Working Strategies. More... | |
Working Strategies related classes.
Generated by 
1.12.0
Doxygen Theme by doxygen-awesome