On Sun, 13 Dec 2015, Nathann Cohen wrote:
Thanks. The non-working version is bliss-0.72.p1, on Sage 6.9.
If you still have this bug, try the latest version available in sage: 0.73 http://trac.sagemath.org/ticket/19483
Hmmm... 6.10 is on rc-phase already. Maybe I won't upgrade production system now.
-- Jori Mäntysalo
