Re: [gentoo-science] sage-on-gentoo: possible to install optional package (cryptominisat)?

[François Bissey]

On 2014-01-14 10:24, Erik Quaeghebeur wrote:
Hi,

I've just installed sage-on-gentoo and was interested in trying out
the SAT solver (powered by CryptoMiniSat). This is an optional
package. Are such packages or this particular package available in
some way?

Hi Erik,

I don't believe we have such package in our tree. If you point me to
the sources I may be able to make one for you (and anyone else wanting 
it).

François