In Python, I have a set of things. I’d like to match Boolean logic against potential entries (e.g. ‘contains A and not B’).

Do you know of an existing lib/engine for this? Z3 possible but seems overkill.