def run_dimacs_reader(context: Context) -> None: context.formula = read_dimacs_file(context.path_to_dimacs_file)
def simple_formula(context: Context) -> None: context.formula = cupy.array([[1, 0, 1, 1], [cupy.nan, cupy.nan, 1, cupy.nan], [cupy.nan, 0, cupy.nan, cupy.nan], [1, cupy.nan, cupy.nan, cupy.nan], [cupy.nan, cupy.nan, cupy.nan, 1]])