cryptominisat

cryptominisat copied to clipboard

Question about simplify() Function and Variable Freezing in CryptoMiniSat

1

Hello msoos, I have a somewhat silly question regarding the use of CryptoMiniSat in an IC3 implementation that involves incremental SAT solving. 1. Deleting Clauses by Setting a Literal to...

tzzht

Document changes in release 5.11.22

5

Could you, please, provide a more detailed change log for the latest version 5.11.22? It looks like two additional dependencies `cadical` and `cadiback` are now required for the build. What...

ykazakov

latest release gives importerror

2

The latest release gives an importerror when trying to use the package on linux: ``` from pycryptosat import Solver ImportError: undefined symbol: _ZN5CMSat6Solver12oracle_vivifERb ```

Wout4

Adding Special Flags for windows environment.

9

Hi, Im facing difficulty modifying the setup.py for the python port on a windows machine since an install of the dependency gmp (gmpxx.h linked with gmp.h) is not straightforward. Additionally....

deepeshchugh