op 13-01-14 23:08, François Bissey schreef:
up to you for the update in sage. But I will make an ebuild based on the available source.
The CryptoMiniSat sources for all releases can be found at
https://gforge.inria.fr/frs/?group_id=1992
Currently, I guess 2.9. and the latest 2.9.x (at the time of writing
2.9.8) may be useful. (In future 3.4 may be used by Sage.)
Best, Erik
