#17351: Sage Learn_sat AttributeError
-------------------------------------+-------------------------------------
Reporter: ounidjoo | Owner:
Type: defect | Status: needs_info
Priority: major | Milestone: sage-6.5
Component: packages: | Resolution:
optional | Merged in:
Keywords: | Reviewers:
Authors: Martin Albrecht | Work issues:
Report Upstream: N/A | Commit:
Branch: | 3c5a878763ac85f37696de42a18458d88add33c5
u/malb/t17351_learn_sat | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by malb):
Replying to [comment:5 vdelecroix]:
> And please, update the description of the ticket to something that
actually describes what was the problem and how it was solved...
There was an exception and now this is fixed as doctested. The random seed
was changed because the test in question by design only works for some
inputs. It has nothing to do with CryptoMiniSat, but relates to the small
AES generator.
--
Ticket URL: <http://trac.sagemath.org/ticket/17351#comment:6>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
