Skip to main content
CUT_DEPTHS
logicaffeine_
proof
0.11.0
In logicaffeine_
proof::
sweep
logicaffeine_proof
::
sweep
Constant
CUT_
DEPTHS
Copy item path
Source
pub const CUT_DEPTHS: [
usize
;
2
];
Expand description
The depths a candidate is first tried at before its whole cone.