latest release gives importerror

[Wout4]

The latest release gives an importerror when trying to use the package on linux:

from pycryptosat import Solver

ImportError: undefined symbol: _ZN5CMSat6Solver12oracle_vivifERb

[msoos]

Hi,

Thanks. Oopps. I am at odds with this python thing. I am not 100% sure I want to have it at all.... I'll think about it. It's extremely painful to build and maintain. I'll keep this issue open for now and think about what to do..

Mate

[msoos]

Ah, I think I managed to fix this! Sorry, it's late so it'll have to wait until tomorrow night to have the new package on pypi. But it'll be there and working, yay! Also for mac it seems :)