cryptosat solver is listed, but can't be used

[Wout4]

On linux, when looking up the available solvers with

from pysat.solvers import SolverNames
print(vars(SolverNames).items())

we find the solver 'cryptosat', but the program crashes when trying to use this solver:

from pysat.solvers import Solver
s = Solver(name='cms')

Even when we installed pycryptosat (pip install pycyptosat) or pip install python-sat[cryptosat]

[alexeyignatiev]

That's weird. Can you access the solver directly from the pycryptosat package? If yes, what version of pycryptosat do you have?

[Wout4]

The same code works with any other solver, what do you mean with accessing the solver directly?

[alexeyignatiev]

Of course other solvers work - they are shipped with the toolkit. CryptoMiniSat is different in this regard because it is a part of another package. I meant whether or not the solver is actually installed and runnable from its package directly.

[Wout4]

I see, it seems to be an issue with their latest release (5.11.22, called 5.11.23 on pypi), will open an issue with pycryptosat. Thank you

[alexeyignatiev]

No worries!