Hey does anyone know of a class of algorithms to statically identify that the constraint

==2.7 & ==3.6

is impossible to satisfy? In https://github.com/pantsbuild/pants/issues/11072, I thought I could use boolean algebra. For example, we can simplify

(==2.7 | >=3.6) & >=3.6

to simply `>=3.6`; i.e.

(x | y) & x => x

. But that only covers a couple edge cases.

The experimentalist in me suggest the algorithm of taking the list of all released versions of python (a finite set) and compare their truthiness with each item in the list of constraints (another finite set). This will give you an empty set or a set of python versions that can map to a simplified constraint list.