Archives
Archives
| From: | Erik Quaeghebeur <gentoo@×××××××××××××××××××.net> |
|---|---|
| To: | gentoo-science@l.g.o |
| Subject: | [gentoo-science] sage-on-gentoo: possible to install optional package (cryptominisat)? |
| Date: | Mon, 13 Jan 2014 21:24:47 |
| Message-Id: | 52D45996.4020201@equaeghe.nospammail.net |
| 1 | Hi, |
| 2 | |
| 3 | |
| 4 | I've just installed sage-on-gentoo and was interested in trying out the |
| 5 | SAT solver (powered by CryptoMiniSat). This is an optional package. Are |
| 6 | such packages or this particular package available in some way? |
| 7 | |
| 8 | |
| 9 | Thanks, |
| 10 | |
| 11 | Erik |
| Subject | Author |
|---|---|
| Re: [gentoo-science] sage-on-gentoo: possible to install optional package (cryptominisat)? | "François Bissey" <fbissey@××××××××××××.nz> |