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 ...

This came up at python/cpython#123845 (review). We're not consistent in writing it upper or lower case. A rough search shows it's about 50-50: In most contexts, boolean refers to a specific data type ...