How to install Cryptominisat-5.0.1 version in Sage-8.7 Inbox

[Dheeraj Sharma]

Dear Sir,

I have to specifically work on cryptominisat-5.0.1 version. I have tried to install it by running command "./sage -p cryptominisat-5.0.1" on terminal window (that is opened in Sage folder). But it is showing the following statements:

dheeraj@dheeraj-Latitude-5490:~/sage/sage_installation/sage-8.7$ ./sage -p cryptominisat-5.0.1
Attempting to download package cryptominisat-5.0.1
>>> Checking online list of optional packages.
>>> Checking online list of experimental packages.
>>> Checking online list of huge packages.
Error: could not find a package matching cryptominisat-5.0.1
       Try 'sage --package list' to see the available packages
       There is no package similar to cryptominisat-5.0.1
You can find further packages at http://files.sagemath.org/spkg/

I have further opened the web link provided in it. I have found that cryptominsat-5.0.1 is available on following link.

http://files.sagemath.org/spkg/upstream/cryptominisat/index.html

Please, tell me the procedure to install cryptominisat-5.0.1.

I am working on following operating system.

Distributor ID: Ubuntu
Description: Ubuntu 14.04.6 LTS
Release: 14.04
Codename: trusty

With Regards,
Dr. Dheeraj Kumar Sharma
Assistant Professor
Department of Electronics & Comm. Engg.
National Institute of Technology, Kurukshetra
Mob. No. +91-7206435934,
              +91-9897715970
             
         

[Dima Pasechnik]

this is certainly not recommended for "normal" use. 

If you are trying to reproduce computations done years ago, perhaps try installing a standalone version of cryptominisat, generate the input, and feed it into the solver.

--
You received this message because you are subscribed to the Google Groups "sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAMTmor4-ZCztGPcEWv9wgeGuHUbz7eeT3qyHJGFJxnKE81mbgA%40mail.gmail.com.

[Dheeraj Sharma]

Sir,

It has been required by the reviewer. I have submitted article in April 2019.

Reviewer does require to work in cryptominisat-5.0.1 specifically.

Please, tell the procedure.

[Dima Pasechnik]

On Sat, Mar 27, 2021 at 11:16 AM Dheeraj Sharma
<sharma98...@gmail.com> wrote:

> It has been required by the reviewer. I have submitted article in April 2019.
> Reviewer does require to work in cryptominisat-5.0.1 specifically.

2 years is a long time. But the reviewer is right, if your paper
relies on computations, you should be
able to reproduce them. However, I don't think it is fair to require a
particular old version - which
has been superseded.

Would it be easier to redo these computations with state of the art
software, put it on e.g.
GitHub?

It would also make it good to compare with the old results, if they still stand.

>
> Please, tell the procedure.

What makes you think that cryprominisat 5.0.1 will work with Sage 8.7?
(it won't, out if the box, but see below)
The latter was released with cryprominisat 5.6.6, cf
https://github.com/sagemath/sage/blob/8.7/build/pkgs/cryptominisat/package-version.txt

To get 5.0.1 you need to go back to 8.6:
https://github.com/sagemath/sage/blob/8.6/build/pkgs/cryptominisat/package-version.txt

Installing Sage 8.6 from source should give you cryptominisat
(you'd need to install it as an extra step, as it was experimental
package back then,
by doing ./sage -i cryptominisat)

If you really must must use Sage 8.7 then you'd need to undo the changes in
https://trac.sagemath.org/ticket/25480
in order to get it installed.

HTH
Dima

> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/044716c5-15f5-4f65-abaa-20c1c5d5351dn%40googlegroups.com.

[Thierry]

Hi,

On Sat, Mar 27, 2021 at 04:16:42AM -0700, Dheeraj Sharma wrote:
>
> Sir,
>
> It has been required by the reviewer. I have submitted article in April
> 2019.
> Reviewer does require to work in cryptominisat-5.0.1 specifically.
>
> Please, tell the procedure.

This sound more like a question for ask.sagemath.org than sage-devel.

Anyway, if you want your reviewer to run Sage with cryptominisat-5.0.1,
you can suggest to use the live USB key Sage Debian Live 8.6 on which
cryptominisat-5.0.1 is installed, see

https://www.sagemath.org/download-liveusb.html
https://sagedebianlive.metelu.net/

Note that this Sage version runs Python 2.

Ciao,
Thierry

> >> Mob. No. +91-7206435934 <+91%2072064%2035934>,
> >> +91-9897715970 <+91%2098977%2015970>

> >>
> >>
> >>
> >> --
> >> You received this message because you are subscribed to the Google Groups
> >> "sage-devel" group.
> >> To unsubscribe from this group and stop receiving emails from it, send an
> >> email to sage-devel+...@googlegroups.com.
> >> To view this discussion on the web visit
> >> https://groups.google.com/d/msgid/sage-devel/CAMTmor4-ZCztGPcEWv9wgeGuHUbz7eeT3qyHJGFJxnKE81mbgA%40mail.gmail.com

> >> <https://groups.google.com/d/msgid/sage-devel/CAMTmor4-ZCztGPcEWv9wgeGuHUbz7eeT3qyHJGFJxnKE81mbgA%40mail.gmail.com?utm_medium=email&utm_source=footer>
> >> .

> >>
> >
>
> --
> You received this message because you are subscribed to the Google Groups "sage-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+...@googlegroups.com.

> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/044716c5-15f5-4f65-abaa-20c1c5d5351dn%40googlegroups.com.