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, <sharma98...@gmail.com> 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 >> >> <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+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.
