cmsh icon indicating copy to clipboard operation
cmsh copied to clipboard
verified publisher icon cipherboy

Expose Conflicts

Open cipherboy opened this issue 6 years ago • 0 comments

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

cipherboy avatar Jul 13 '19 15:07 cipherboy