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