Archives
Archives
| From: | Erik Quaeghebeur <gentoo@×××××××××××××××××××.net> | ||
|---|---|---|---|
| To: | gentoo-science@l.g.o | ||
| Subject: | Re: [gentoo-science] sage-on-gentoo: possible to install optional package (cryptominisat)? | ||
| Date: | Tue, 14 Jan 2014 21:11:27 | ||
| Message-Id: | 52D5A7FB.2050302@equaeghe.nospammail.net | ||
| In Reply to: | Re: [gentoo-science] sage-on-gentoo: possible to install optional package (cryptominisat)? by "François Bissey" |
||
| 1 | op 13-01-14 23:08, François Bissey schreef: |
| 2 | |
| 3 | > On 2014-01-14 10:59, Erik Quaeghebeur wrote: |
| 4 | > |
| 5 | >>>> [...] interested in trying out the SAT solver (powered by |
| 6 | >>>> CryptoMiniSat). |
| 7 | >>> |
| 8 | >>> [...] point me to the sources [...] |
| 9 | >> |
| 10 | >> Of course: |
| 11 | >> |
| 12 | >> * in reference: http://www.sagemath.org/doc/reference/sat/index.html |
| 13 | >> * upstream spkg: https://bitbucket.org/malb/cryptominisat-spkg (for |
| 14 | >> 2.9.6 version?) |
| 15 | >> * upstream code: https://github.com/msoos/cryptominisat (for 3+ version?) |
| 16 | >> |
| 17 | >> It seems there is a version mismatch in the spkg and main upstream |
| 18 | >> code... I don't know where to find the older code. Do you want me to |
| 19 | >> ask Martin Albrecht to update the spkg? |
| 20 | >> |
| 21 | >> |
| 22 | > up to you for the update in sage. But I will make an ebuild based on |
| 23 | > the available source. I could technically steal the source from the |
| 24 | > spkg and host them on lmona.de but I would rather not do that if |
| 25 | > possible. |
| 26 | |
| 27 | Upstream spkg maintainer is informed and likely to look at this at some |
| 28 | point. |
| 29 | |
| 30 | Sage ticket: http://trac.sagemath.org/ticket/15674 |