Re: F18 Release Notes

[Ales Kozumplik]

Hello,

this is in reaction to Pete's mail on fedora-announce-list. I am working 
on an experimental fork of yum:

https://fedoraproject.org/wiki/Features/DNF

The package is available in F18 and I'd like it to be mentioned in the 
release notes.

Many thanks,
Ales Kozumplik


On 09/18/2012 02:24 AM, Pete Travis wrote:
>  Greetings!
>
>      As the Fedora Documentation Project prepares the release notes for
>  Fedora 18, we'd like to ask for your help.  Each Fedora release marks
>  the inclusion of new features and the retirement of others, and with
>  the help of the development community, we won't skip a beat. The Docs
>  team would like you to assign us some homework.
>
>      The release notes are divided up into categories, or 'beats.' Each
>  beat is kept by a volunteer who follows mailing lists, changelogs,
>  announcements, and features in the space. Many beats also have a
>  developer point of contact for technical questions and cooperation. We
>  track these responsibilities with
>  http://fedoraproject.org/wiki/Category:Documentation_beats , which
>  includes links out to wiki pages for each individual beat.  As we
>  reach the end of the release cycle, developers and docs maintainers
>  populate these pages, then they are converted from wiki markup to
>  Docbook XML and published. With a little help, we can put out release
>  notes that can't be beat.
>
>      If you're working on something for Fedora, we'd like to make sure
>  you get the credit you deserve. Leave us a quick note on a beats page,
>  send it to our mailing list (
>  http://lists.fedoraproject.org/mailman/listinfo/docs ), or join us in
>  #fedora-docs. You don't need to worry about language and composition
>  or even spelling - just let us know what you've been working on that
>  you'd like documented and we'll take it from there.
>
>      We *really* don't want you to beat yourself up about presentation.
>  A simple "make sure you mention this new feature" is enough. We're
>  happy to do the research and compose the prose. Knowing where to start
>  writing makes the process considerably more efficient, just as a brief
>  note on hundreds of features from each developer is more effective
>  than a handful of docs maintainers trying to follow all of hundreds of
>  features.
>
>      Thanks for helping us represent your work to the users,
>
>  Pete Travis,
>  The Fedora Docs Team
>  _______________________________________________
>  devel-announce mailing list
>  devel-announce(a)lists.fedoraproject.org
>  https://admin.fedoraproject.org/mailman/listinfo/devel-announce

Re : Re: F18 Release Notes

[Compte Yahoo]

Hi,



Why not. As I understand DNF is a fork of yum that uses new backend. I have a question,
what is a SAT solver ? a satellite solver ?


Regards.
--
 *Romain Forlot*


pub 4096R/862907E5 2011-05-26
 Key fingerprint = 4549 A7CA 17DC D0AA 0FE0 7953 E6A8 A0C8 8629 07E5
uid Romain Forlot <rforlot(a)yahoo.com>
sub 4096R/153E34C2 2011-05-26 


---- Le Tue, 18 Sep 2012 06:34:18 +0200 Ales Kozumplik<akozumpl(a)redhat.com>
a écrit ---- 


Hello,

this is in reaction to Pete's mail on fedora-announce-list. I am working 
on an experimental fork of yum:

https://fedoraproject.org/wiki/Features/DNF

The package is available in F18 and I'd like it to be mentioned in the 
release notes.

Many thanks,
Ales Kozumplik


On 09/18/2012 02:24 AM, Pete Travis wrote:
> Greetings!
>
> As the Fedora Documentation Project prepares the release notes for
> Fedora 18, we'd like to ask for your help. Each Fedora release marks
> the inclusion of new features and the retirement of others, and with
> the help of the development community, we won't skip a beat. The Docs
> team would like you to assign us some homework.
>
> The release notes are divided up into categories, or 'beats.' Each
> beat is kept by a volunteer who follows mailing lists, changelogs,
> announcements, and features in the space. Many beats also have a
> developer point of contact for technical questions and cooperation. We
> track these responsibilities with
> http://fedoraproject.org/wiki/Category:Documentation_beats , which
> includes links out to wiki pages for each individual beat. As we
> reach the end of the release cycle, developers and docs maintainers
> populate these pages, then they are converted from wiki markup to
> Docbook XML and published. With a little help, we can put out release
> notes that can't be beat.
>
> If you're working on something for Fedora, we'd like to make sure
> you get the credit you deserve. Leave us a quick note on a beats page,
> send it to our mailing list (
> http://lists.fedoraproject.org/mailman/listinfo/docs ), or join us in
> #fedora-docs. You don't need to worry about language and composition
> or even spelling - just let us know what you've been working on that
> you'd like documented and we'll take it from there.
>
> We *really* don't want you to beat yourself up about presentation.
> A simple "make sure you mention this new feature" is enough. We're
> happy to do the research and compose the prose. Knowing where to start
> writing makes the process considerably more efficient, just as a brief
> note on hundreds of features from each developer is more effective
> than a handful of docs maintainers trying to follow all of hundreds of
> features.
>
> Thanks for helping us represent your work to the users,
>
> Pete Travis,
> The Fedora Docs Team
> _______________________________________________
> devel-announce mailing list
> devel-announce(a)lists.fedoraproject.org
> https://admin.fedoraproject.org/mailman/listinfo/devel-announce

-- 
docs mailing list
docs(a)lists.fedoraproject.org
To unsubscribe:
https://admin.fedoraproject.org/mailman/listinfo/docs

Re : Re: F18 Release Notes

[Bruno Wolff III]

On Tue, Sep 18, 2012 at 12:00:36 +0200,
   Compte Yahoo <rforlot(a)yahoo.com&gt; wrote:
> Why not. As I understand DNF is a fork of yum that uses new backend. I have a question,
> what is a SAT solver ? a satellite solver ? 
http://en.wikipedia.org/wiki/Boolean_satisfiability_problem

Re : Re: F18 Release Notes

[Ales Kozumplik]

On 09/18/2012 02:13 PM, Bruno Wolff III wrote:
>  On Tue, Sep 18, 2012 at 12:00:36 +0200,
>  Compte Yahoo <rforlot(a)yahoo.com&gt; wrote:
> >
> > Why not. As I understand DNF is a fork of yum that uses new backend. I
> > have a question, what is a SAT solver ? a satellite solver ?
>
>  http://en.wikipedia.org/wiki/Boolean_satisfiability_problem 
Hello,

yes, SAT solver is a program that sees if a given boolean formula is 
satisfiable (and with what assignments). libsolv (the DNF backend) does 
just that: after it reduces the package dependency problem to a 
conjunctive normal form it runs its SAT solver over it to see if it's 
satisfiable (i.e. if any combination of all packages can be installed to 
respect what the user selected for installation) and with what 
assignments (what packages to specifically put into the transaction and 
install/delete/...).

This is essentially different from what depsolvers in Yum, RPM and other 
packaging software do: they usually build some sort of graph of packages 
and their dependencies and then traverse it and add packages until all 
deps and constrains are satisfied. The premise of using SAT solving 
instead is that we get the minimal result, faster, with less memory 
(besides SAT solving libsolv is being very smart about how to store the 
package metadata).

HTH and sorry for no satellites here:)

Ales

Re : Re: Re : Re: F18 Release Notes

[Compte Yahoo]

Hi,

Release Notes updated with DNF feature.

Regards


--
 *Romain Forlot*


pub   4096R/862907E5 2011-05-26
      Key fingerprint = 4549 A7CA 17DC D0AA 0FE0  7953 E6A8 A0C8 8629 07E5
uid                  Romain Forlot <rforlot(a)yahoo.com&gt;
sub   4096R/153E34C2 2011-05-26 


---- Le Wed, 19 Sep 2012 07:53:54 +0200 Ales Kozumplik&lt;akozumpl(a)redhat.com&gt; a écrit
---- 


>  On 09/18/2012 02:13 PM, Bruno Wolff III wrote:
>  > On Tue, Sep 18, 2012 at 12:00:36 +0200,
>  > Compte Yahoo <rforlot(a)yahoo.com&gt; wrote:
>  >>
>  >> Why not. As I understand DNF is a fork of yum that uses new backend. I
>  >> have a question, what is a SAT solver ? a satellite solver ?
>  >
>  > http://en.wikipedia.org/wiki/Boolean_satisfiability_problem
>  
>  Hello,
>  
>  yes, SAT solver is a program that sees if a given boolean formula is 
>  satisfiable (and with what assignments). libsolv (the DNF backend) does 
>  just that: after it reduces the package dependency problem to a 
>  conjunctive normal form it runs its SAT solver over it to see if it's 
>  satisfiable (i.e. if any combination of all packages can be installed to 
>  respect what the user selected for installation) and with what 
>  assignments (what packages to specifically put into the transaction and 
>  install/delete/...).
>  
>  This is essentially different from what depsolvers in Yum, RPM and other 
>  packaging software do: they usually build some sort of graph of packages 
>  and their dependencies and then traverse it and add packages until all 
>  deps and constrains are satisfied. The premise of using SAT solving 
>  instead is that we get the minimal result, faster, with less memory 
>  (besides SAT solving libsolv is being very smart about how to store the 
>  package metadata).
>  
>  HTH and sorry for no satellites here:)
>  
>  Ales
>  -- 
>  docs mailing list
>  docs(a)lists.fedoraproject.org
>  To unsubscribe:
>  https://admin.fedoraproject.org/mailman/listinfo/docs