simplify qubo_sat example

This commit is contained in:
Laurent Perron
2022-02-14 16:44:10 +01:00
parent a4120af16f
commit 75a0a4ab8c

View File

@@ -541,8 +541,6 @@ def solve_qubo():
model = cp_model.CpModel()
num_vars = len(RAW_DATA)
print(num_vars)
print(len(RAW_DATA[0]))
all_vars = range(num_vars)
variables = [model.NewBoolVar('x_%i' % i) for i in all_vars]