Ask Your Question
1

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

Comments

1

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
2

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

Stats

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

Seen: 35 times

Last updated: May 13