Ask Your Question

install package win

asked 2022-05-12 22:59:45 +0200

domotorp gravatar image

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

edit retag flag offensive close merge delete



To post links as a new user, insert spaces in them like this:

https  ://example  .com

Some moderator can then edit to repair the links.

slelievre gravatar imageslelievre ( 2022-05-13 17:07:09 +0200 )edit

1 Answer

Sort by ยป oldest newest most voted

answered 2022-05-13 17:09:26 +0200

slelievre gravatar image

The best option for you would be to install

  • the Windows Subsystem for Linux
  • a Linux distribution in there, e.g. Ubuntu
  • and Sage in there

Follow the steps in the readme at

edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower


Asked: 2022-05-12 22:59:45 +0200

Seen: 466 times

Last updated: May 13 '22