Skip to main content
HARDEST
logicaffeine_
proof
0.11.0
In logicaffeine_
proof::
sweep
logicaffeine_proof
::
sweep
Constant
HARDEST
Copy item path
Source
pub const HARDEST:
usize
= 16;
Expand description
How many of the hardest queries
Stats
keeps.