When solving with assumptions, it would be nice to expose conflicts from CryptoMiniSat's C++ API in Python.