alkaid.cmvm package

Module contents

class alkaid.cmvm.solver_options_t

Bases: TypedDict

adder_size: int

decompose_dc: int

hard_dc: int

method0: str

method1: str

offload_fn: None | Callable[[ndarray, FVArray], ndarray]: Callable taking in (constant_matrix, fixed_variable_array) and returning a boolean mask of which weights to offload to multiplication operations.

search_all_decompose_dc: bool