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, solveDefault
public SATSolveSequence(CutFinderIMinInfo info, AtomicResult result, MinerStateBase minerState)