public class SATSolveLoop extends SATSolve
bestTillNow, info, minerState| Constructor and Description |
|---|
SATSolveLoop(CutFinderIMinInfo info,
AtomicResult result,
MinerStateBase minerState) |
| Modifier and Type | Method and Description |
|---|---|
void |
solve() |
debug, solveDefaultpublic SATSolveLoop(CutFinderIMinInfo info, AtomicResult result, MinerStateBase minerState)