install package win
I'm a very dumb windows user but I want to install the CryptoMiniSat package. All I could find was to type "sage -i cryptominisat sagelib" - but where am I supposed to type it? The SageMath console or shell don't seem to like it. I've struggled for two hours before coming here... I could see that some others have similar issues. (I cannot post links because my karma is not high enough to do so.)
To post links as a new user, insert spaces in them like this:
Some moderator can then edit to repair the links.