Review your favorite Linux distribution.
Go Back > Forums > Linux Forums > Linux - Newbie
User Name
Linux - Newbie This Linux forum is for members that are new to Linux.
Just starting out and have a question? If it is not in the man pages or the how-to's this is the place!


  Search this Thread
Old 12-19-2014, 10:03 AM   #1
LQ Newbie
Registered: Oct 2013
Posts: 6

Rep: Reputation: Disabled
howt to install pycosat in linux (mint)?

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.


Thread Tools Search this Thread
Search this Thread:

Advanced Search

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is Off
HTML code is Off

Similar Threads
Thread Thread Starter Forum Replies Last Post
install guide for linux mint 15 upgrade to linux mint 17? OMouse Linux Mint 8 06-18-2014 08:43 PM
Linux mint install clayton71740 Linux - Newbie 4 04-04-2012 01:29 AM
[SOLVED] cant get linux mint to boot after install it Walter Price Linux - Newbie 1 08-19-2011 08:08 PM
Using VB to install Linux Mint Slightly Disoriented Linux - Newbie 17 12-06-2010 05:30 PM
Newbie with Mint/ Linux needs to install Clam AV in Mint after 4 Wdws Trogan attack BAKEAPPLEFARM Linux Mint 6 03-24-2010 09:38 PM > Forums > Linux Forums > Linux - Newbie

All times are GMT -5. The time now is 03:13 PM.

Main Menu
Write for LQ is looking for people interested in writing Editorials, Articles, Reviews, and more. If you'd like to contribute content, let us know.
Main Menu
RSS1  Latest Threads
RSS1  LQ News
Twitter: @linuxquestions
Facebook: linuxquestions Google+: linuxquestions
Open Source Consulting | Domain Registration