im working with pycharm (ide for python) and i need to use pycosat for some jobs i need.
the problem is that i've already tryed many diferent ways to install pycosat. i think it is already instaled since i run:
$conda list

and the resul show's me between many packages:
py2cairo 1.10.0 py27_2
pycosat 0.6.1 py27_0
pycparser 2.10 py27_0

but wen i try to import pycosat in some python code from pycharm, or even compiling the same code from terminal with python 2 or 3, the response is allways the same:

ImportError: No module named 'pycosat'

im despered!!! please help this new linux user...

thank you all for reading this anyway.