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: | Fri, 17 Jan 2014 09:11:46 | ||
| Message-Id: | 52D8F3CF.1000700@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 | > up to you for the update in sage. But I will make an ebuild based on |
| 4 | > the available source. |
| 5 | |
| 6 | The CryptoMiniSat sources for all releases can be found at |
| 7 | |
| 8 | https://gforge.inria.fr/frs/?group_id=1992 |
| 9 | |
| 10 | Currently, I guess 2.9. and the latest 2.9.x (at the time of writing |
| 11 | 2.9.8) may be useful. (In future 3.4 may be used by Sage.) |
| 12 | |
| 13 | |
| 14 | Best, |
| 15 | |
| 16 | Erik |