Revision history [back]

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.)