import numpy as np
import scipy as sp
from ortools.sat.python import cp_model as cp