Python Context.formula Examples

Example #1

File: steps_dimacs_reader.py Project: SamyAB/cugen

def run_dimacs_reader(context: Context) -> None:
    context.formula = read_dimacs_file(context.path_to_dimacs_file)

Example #2

File: steps_sat_solver.py Project: SamyAB/cugen

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]])