Algorithms.BF.Main
data WhatToDo
data WhatPart
data OracleSize
data Options
defaultOptions
options
part_enum
oracle_enum
dopts
usage
main
check_options
getOracle
output_part
demo_part
valid_sizes
valid_size
createCustom
getCustom