- removed verticals for now to make work easier
- allow NULL idmap

- forgot to store start and end of id block

- some pieces of code for the unified lookup/search interface

- beautify

Handle most of the susetags tags.  Major exception is 'Shr', where I'm
still undecided if I want to copy the info verbatim (easier to use), or
if I want to store the reference expecting the users to follow the chain
on his own.  packages.DU and filelists not yet handled.

- use schema in repodata to make it extendible

include stdio

- add evrcmp mode parameter

Pfeww.  I'm tired, but now you can add refers from repo SOLV files to
attribute store files.  Good night.

(Like so:
% addstore bla.solv ding.attr dong.attr > bla2.solv
% dumpsolv bla2.solv
repo refers to 2 attribute stores:
ding.attr has 4 keys
  authors
  group
  keywords
  license
dong.attr has 4 keys
  authors
  keywords
  license
...
)

I'm going to use the file info block real soon now and noticed that
doing it with the schema way brings only hassle for no good.  The info
is per file, hence probably the same scheme won't be reused by anything
else.  Hence going back to nearly the old way.  I do have use for a
counted type, in order to skip safely over unknown entries.  Old SOLV
files can be read when they don't have any file info.  None should
have.

Also activate paging for embedded attr stores.

Pull together attribute store and repo.  dumpsolv actually now really
can also show the content of test.attr, yeah.

Let's make it compile, shall we?

Start moving the attribute store into the library.

A helper function for embedded attributes in SOLV files.

Make the attrstore types available generally.

Fiddling with writing without fiddling with reading of course won't
work. :-/

Work around the schema problem for now without changing the SOLV format.
The Repo writer doesn't account the the zero element at schemadata[0],
and starts counting schemas with 0, the attr store reserves schema ID 0
for the empty schema.  So the attr store explicitely needs to store that
too, otherwise the repo reader will be confused.

As I don't want to merge and map local strings, I need to write out
the "" too, to be compatible with the SOLV reading code.

Make the attribute names part of the string pool, so we don't have to
store them separately.  Now looks even more like a SOLV file.

reverted concerning noupdateprovide

bugfix if whatprovides,... does not exist

Nearly use the SOLV format for the attribute store.  There's a
off-by-one disagreement how to count the schemas, changing that would
require an version bump again, later.  The pages and the key names don't
yet fit into the normal SOLV file.

added some DEBIAN_SEMANTICS

added logging, description

- cleanup code a bit

While trying to regenerate the testsuite I noticed that non-unique
depsets happen, so handle them.

prefix-code the string store, difference-code the dependency idarrays.
V1 solv files still can be loaded.

- switch to new solv format using schemata
  please regenerate all solv files...
- split whatprovides array into whatprovides and whatprovides_rel so
  that we can add new ids while keeping the whatprovides information
- start to implement some search/lookup functions in repo.c
  needs quite a bit more love...

update for libzypp integration

I hope that's ok to get the bindings going

do not regard recommends of installed items

- prefer assertions to make coolo happy

bugfix

- rename findproblemrule to solver_findproblemrule

- 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