#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 vdelecroix):
Replying to [comment:6 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.
Fine. Please update the description of the ticket...
Why `Sequence` is still used in some place?
--
Ticket URL: <http://trac.sagemath.org/ticket/17351#comment:7>
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.
