Painless
A framework to ease parallelization of sequential CDCL SAT solvers
Loading...
Searching...
No Matches
Public Attributes | List of all members
parameter Struct Reference
Collaboration diagram for parameter:

Public Attributes

int tier1
 
int chrono
 
int stable
 
int walkinitially
 
int target
 
int phase
 
int heuristic
 
int margin
 
int ccanr
 
int targetinc
 
The documentation for this struct was generated from the following file:
Generated by doxygen 1.12.0 Doxygen Theme by doxygen-awesome