fixed mean bug in an optimization of addrule:

Differ between binary rules and non-binary rules
with one literal (e.g. two kernels)
(fixed 5 test cases)

Now that I can read content files, let's use that.

content2solv: a parser for the content file of Yast2 repos.  Generates
a SOLV with only one solvable, the product.

I need C++ here too.

don't crash too often

trying to mimic the libzypp handling of kernel deps - first step

- clean up the code a bit

- do away with complex reenablerule, instead reset propagate_index to 0
  and rely on propagate to move the watches

- fix some bugs in refine_suggestion()

move solver reset to top of refine_suggestion

- added pool_installable() inline function
- renamed addrelproviders() to pool_addrelproviders()
- also use dep_possible() in enhances
- print statistics about solvable reduction
- check is suggested packages are really installable

- inline source_name function
- fix dependency resolving loop to restart on any action
- fix supplement rule creation, it did not work for complex
  (i.e. AND) supplements

unify whatprovides data to save memory.

find suggested packages

add arch filtering for obsoletes data

implemented GNADENLOS in a better way, now option "noupdateprovide".

also prune to suggests/enhances, fixes tpctl testcases

make prune_to_recommended look at recommends, too.

Simple shell script accepting a directory with local repository data,
detecting which type the repo is, and emitting exactly one SOLV file
for the whole thing.

To be able to accept a set of patches simply cat'ed behind each other
we need to accept a collector tag.  I chose '<patches>', so you can
parse multiple patches by:

( echo '<patches>'; cat patch-*.xml; echo '</patches>' )
  | grep -v '\?xml'
  | patchxml2solv

Blaeh.  LIBS doesn't provide DEPENDENCIES, hence we don't to use that,
but LDADD is overwritten (instead auf augmented) by specific X_LDADDS,
so we need to add LDADD everywhere explicitely.

I have use for a tool to merge .solv files.

parse <product> out of helix sources

Make the satsolver header usable with C++ (only pool.h and source_solv.h
for now, they drag in most of the usefull stuff anyway).

- fixing obsoletes not checked in every case (fixing one test case -
  mls)
- adding a GNADENLOS mode not set by default (fixing 6 more, but
  degrades performance by 28%)

The .spec file also referred to the shared lib.  Fix that.

Enable maintainer-mode (so that Makefiles are automatically rebuilt if
Makefile.am changes).

For now only build a static (but PIC) libsatsolver.a.  No sense in doing
a shared lib with an unstable API.

fix typo

fix makefiles a bit

delete some spaces

fixing some bugs:
  - remove the original package on upgrade, not the new
    one
  - always set i686 when no arch is set (as required)
  - handle "install" as capability not as name
  - handle different kind of solvables in install
  - install locale solvables into an extra channel

- do not select src packages in yps
- use some buffers to speed things up a bit

- show better problem reports

- fix arch handling
- fix makefile
- add modalias and installed namespaces
- fix red carpet upgrade detection

fix segfault

- don't pass name spaces for now
- don't supplement bad architectures

- support for legacy rewriting
- support for and/or/with deps
- support freshens

do not add self-provides to src rpms

fix typo, add some more architectures

prep for package

current state of 'sat-solver'