Painless
A framework to ease parallelization of sequential CDCL SAT solvers
Loading...
Searching...
No Matches
Local Search Solvers

Different Classes for Local Search solver interaction. More...

Collaboration diagram for Local Search Solvers:

Classes

struct  LocalSearchStats
 Local search statistics. More...
 
class  LocalSearchInterface
 Interface for Local Search solvers. More...
 

Enumerations

enum  LocalSearchType { YALSAT = 0 }
 Local Search solvers type.
 

Detailed Description

Different Classes for Local Search solver interaction.