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

[Erik Quaeghebeur]

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?


Thanks,

Erik