When solving with assumptions, it would be nice to expose [conflicts](https://github.com/msoos/cryptominisat/blob/master/src/cryptominisat.h.in#L69) from CryptoMiniSat's C++ API in Python.
