Jason Fiammetta

**Description of Bug** I've got multiple environments, one of which was using python 3.9. This is my fault for ignoring the 3.10 requirement, but the damage wasn't readily apparent. Using...

Python xor clauses with inverted literals disallowed

2

Is [this](https://github.com/msoos/cryptominisat/blob/master/python/src/pycryptosat.cpp#L196-L200) intentional? I can't find an analogue for that limitation in the C++ code, and this [regex](https://github.com/msoos/cryptominisat/blob/master/scripts/fuzz/xor_to_cnf_class.py#L88-L89) seems to suggest it's expected. Even this old [blog post](https://www.msoos.org/xor-clauses/) uses a...