Because Python package dependency resolution is NP-complete, any Boolean satisfiability (SAT) or (0/1 linear) integer programming (IP) problem can be encoded as a package dependency resolution problem ...

Many other Python modules adhere to this standard and thus combining them with SymPy can cause problems. For example, if you have a NumPy array of integers that can only be 1 or 0, it may be wise to ...