#include <maxwalksatparams.h>
Public Attributes | |
| SampleSatParams * | ssParams |
| int | maxSteps |
| int | maxTries |
| long double | targetCost |
| bool | hard |
| int | numSolutions |
| int | heuristic |
| int | tabuLength |
| bool | lazyLowState |
Definition at line 74 of file maxwalksatparams.h.
1.5.1