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