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