Re: [sage-devel] How to install Cryptominisat-5.0.1 version in Sage-8.7 Inbox

[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



> On Saturday, 27 March 2021 at 14:04:06 UTC+5:30 dim...@gmail.com wrote:
> 
> > 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.
> >
> >
> >
> > On Sat, 27 Mar 2021, 06:57 Dheeraj Sharma,  wrote:
> >
> >> 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%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
> >>  
> >> 
> >> .
> >>
> >
> 
> -- 
> 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+unsubscr...@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.

-- 
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+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/20210327140654.g7enxvrzoprxb533%40metelu.net.

Re: [sage-devel] How to install Cryptominisat-5.0.1 version in Sage-8.7 Inbox

[Dima Pasechnik]

On Sat, Mar 27, 2021 at 11:16 AM Dheeraj Sharma
 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






> On Saturday, 27 March 2021 at 14:04:06 UTC+5:30 dim...@gmail.com wrote:
>>
>> 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.
>>
>>
>>
>> On Sat, 27 Mar 2021, 06:57 Dheeraj Sharma,  wrote:
>>>
>>> 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
>>>
>>>
>>>
>>> --
>>> 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.
>
> --
> 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+unsubscr...@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.

-- 
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+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/CAAWYfq1J2Kf6Ht_FN%3Dk4o-qLL2%2Bqi2%3DyA44-7doyh7Q2aAW_wA%40mail.gmail.com.

Re: [sage-devel] How to install Cryptominisat-5.0.1 version in Sage-8.7 Inbox

[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.
On Saturday, 27 March 2021 at 14:04:06 UTC+5:30 dim...@gmail.com wrote:

> 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.
>
>
>
> On Sat, 27 Mar 2021, 06:57 Dheeraj Sharma,  wrote:
>
>> 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%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
>>  
>> 
>> .
>>
>

-- 
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+unsubscr...@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.

Re: [sage-devel] How to install Cryptominisat-5.0.1 version in Sage-8.7 Inbox

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



On Sat, 27 Mar 2021, 06:57 Dheeraj Sharma, 
wrote:

> 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
>
>
>
> --
> 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+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/sage-devel/CAMTmor4-ZCztGPcEWv9wgeGuHUbz7eeT3qyHJGFJxnKE81mbgA%40mail.gmail.com
> 
> .
>

-- 
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+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/CAAWYfq1EU88_-z7jTcaHskYkcwuLxmhywyOj6E55DTHxZHSaow%40mail.gmail.com.

[sage-devel] 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

-- 
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+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/CAMTmor4-ZCztGPcEWv9wgeGuHUbz7eeT3qyHJGFJxnKE81mbgA%40mail.gmail.com.