- make schubi's job much easier by providing nice helper functions
  that find and analyze a problem rule

- changed debug mechanism a bit, it is now part of the pool

- fix false friend
- fix enum

fix typo

adding a callback definition for logging

replaced printf by a locking function

Advancing to the next solvable needs to happen a posteriori.  Without
this we end up with the first solvable being <NULL>, and we miss the
last package.

Fix mergesolv for repos with holes.

Fix rpmdb2solv, reused solvables must retain their association with the
repo.

- add extra disableupdaterules call to fix core dump
- fix disabling of conflicting job/system rules
- add printruleclass function
- add some experimental code

use SATSOLVER_ prefix in include guards

added Makefile.cvs

- add solvable2str function to make things easier and more flexible

- add FOR_REPO_SOLVABLES repo iterator macro
- extend ruby bindings a bit

- some more cleanup

- add problem traversal abstraction functions for schubi

- changed repo interface a bit, now alloc/free handle repo pointer and
  nsolvables
- fixed yps and deptestomatic to use new interface

- move (disabled) into printrule
- add back deleted line to fix loop
- bring solver back into deterministic state after refining problems

- log complete proof

- add solvable allocation functions
- fix bug in rpmid handling

- fix memory consumption issue
- re-indent some schubi code

- begone rc_output. and there was much rejoicing.

- as we now always keep the learnt rules we can clean up the code
  a bit. this changes the layout of the problem queue again, sorry
  schubi
- put unsolvable proof on learnt_pool queue

Reduce C&P code by factoring out the uniquifying string pool.

comments added

logging added; fixed output of printdecisions

testing something

adding ruby package

update for releasing

logging

- speed solving up a bit by not removing learnt rules if rules get
  disabled

added more comments

merge autobuild sources with SVN

- some small beautifications

- allow repositories that don't consist of a single block of solvables

cmake added

further development

back to -r7755

added more logging

added more logging

- delete superfluous debug statements

- fix schubi's indenting
- print more info about encountered problems (experimental)
- changes problem format again, sorry schubi

and the winner is ...

printf fixed

fix to compile

integer expected

added more logging

- cleanup repo handlin API

added more logging

Duncan forgot the docu

- make refine_suggestion static again
- clean up the code a bit

- always refine solutions, put result in problem queue
- do not print result of solving anymore

Interface to search for strings in attributes.

- oops, I wonder why the testsuite doesn't catch typos like that...

- fix stupid bug

- moved some policy functions to policy.h
- rewrote problem handling
- reenable system rules if jobrules get disabled
- some code cleanup

doc added

Fix x64_86 build which exits with

 /usr/lib64/gcc/x86_64-suse-linux/4.2.1/../../../../x86_64-suse-linux/bin/ld:
 /usr/local/src/svn/zypp/trunk/sat-solver/build/src/libsatsolver.a(bitmap.o):
 relocation R_X86_64_32 against a local symbol' can not be used when
 making a shared object; recompile with -fPIC
 /usr/local/src/svn/zypp/trunk/sat-solver/build/src/libsatsolver.a:
 could not read symbols: Bad value

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