Let's use the really correct specifier :)

make vintage systems happy too

fix the build

refine_suggestion
archchanges moved to header file. This funktions are needed in libzypp

- implement branching and solution callback

make it executable

install the tools

- add a license
- don't branch for supplemented packages
- fix off by one in minimize queue revert code

compile testsuite only if present

- move policy-ruby.c into ruby dir
- fix lock xml parsing in deptestomatic. grrr....
- support multiple verbosity levels
- add experimental minimization feature
- always take first element of prune function to annoy coolo
- sorry, no policy support yet

disable ruby policy because it breaks libzypp

First try on a (ruby based) policy engine

- src/policy.h: generic policy interface
- src/policy-ruby.c: ruby implementation of policy interface
- testsuite/satsolver_policy.rb: sample policy as ruby code

Add my own version of a Lempel-Ziv type compressor, so we can compress
the blob pages nicely.  The compression rate is usually between 60% and
80%, which is good enough for our purposes.  In return for that it
decompresses blazingly fast.  The thing slowly comes together.

- do not be that verbose
- format solutions a bit better

- fix bug in last bugfix
- make suggestions a bit better

- allow downgrade for INSTALL_SOLVABLE
- add support for "version" in deptestomatic's select_solvable()
- comment to repo_content

yep, right. DISTVERSION is the same misunderstanding

fixing misunderstanding

The blobs are now stored and loaded.  If the input file for the attr
store is seekable we load the blobs on demand, and as we do this in
pages we don't even need much more memory (currently I'm using 4 pages
at 32KB each, so the constant memory overhead for all authors and
descriptions and other blobs is only 128Kb per attr store).  And it
isn't even slow :-)

Parse also a second packages file (e.g. packages.en) catted to stdin,
so that we can annotate already existing packages, e.g. with summary and
description.  Store authors and description as blobs.

We can create blobs now.  But can't yet store them into the file :)

- stuff to discuss

- add vendor change policy (but fixes no test case, as there is no
  good test case)

- add vendor id to solvables

An iterator over attributes, as GCC scalarizes it the code is equivalent
to hand-written code that doesn't use a structure:

attr_iterator ai;
FOR_ATTRS (store, entry, &ai)
  {
    do_something (ai.name, ai.type);
    switch (ai.type)
    {
      case ATTR_STRING:   ai.as_string; break;
      case ATTR_INT:      ai.as_int;    break;
      case ATTR_LOCALIDS: iterate (ai.as_numlist); break;
    }
  }

Write and read the read-only representation directly.

- fix last failing testcase classified as bug

Use Offset instead of unsigned int.

- rename 'system' repo to 'installed'

- rename queue* to queue_*, inline a bit more
- rename map* to map_*

keep 'bool'ness in the comment

- cleanup strange code

A DWARF like in-memory representation (with abbreviations), which uses
only a quarter of memory for the Attrs itself (i.e. without the string
spaces).

Start of an attribute store.  It can hold arbitrary attributes for a
number of entities.  When those are build as mirroring the solvables in
a Repo, we can attach non-solver information to them.  Not yet really
integrated, uses too much in-core memory, and arbitrary blobs are not
yet supported (for descriptions and maybe large author lists).

make it debugable - use -DCMAKE_BUILD_TYPE=debug in the cmake call

continue compiling with -Werror

don't play with pointers

- no more bool, too many conflicts
- moved declaration of pool_freerepo to repo.h

- move dep2str buffer into pool so that the memory gets released
- directly install translation solvables
- some minor code cleanups

Fix the ruby example, and remove a obsolete one

to follow SUSE tools conventions
Source is now Repo

fix memory leaks

- install the libraries

this is not in old cmake (10.2) add it so it works for everyone

bye autofoo

- iterators for solver decisions

- fix packaging

examples

revert debug

name the enum so I can use it in a typemap

each_solvable in Source almost working

Find libraries, and wrap the ruby native module into a ruby file

- add cmake support
- add ruby bindings

treat 'nothing provides' jobrules in a sane way

- do not add rules that are always fulfilled

- add support for namespace callbacks
- implement rpmlib test in relation expansion
- implement modalias() globbing

- make suggests/enhances first class, needs more rules but it simplifies
  the code and the result is more reliable

- do a better job at presenting a solution
- implement source priorities, first half

- goodbye deps, we no longer need you

- zero first element in idarray just in case
- make runtest compare with solution2 and solution3
- do not add same language solvables multiple times, fixes
  one test case

No need for testing null-ness anymore.

fix compile

- switch dependencies from Id pointers to Offsets

- map locale(xx) to language:xx to be compatible to libzypp
- treat system:modalias() as modalias()

fix compile

- fix idarray overflow checking
- do not create weak rule for packages scheduled for removal
  (fixes one testcase)
- fix some explanations in README.FAILS

- first step in getting rid of dependency pointers:
  store back pointer to source in Solvable.

make it compile on 64bit

- add experimental weak rules support, solver tries a bit harder to
  fulfill them

- beautify a bit

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