- clarify

docu added

- beautify a bit

Problem.to_s and Decision.to_s

- rename xmalloc/... functions to sat_malloc, as we're a
  library and mustn't conflict with other libraries

- assertify
- add direct decision counter to make reset_solver faster and easier
  to understand

fprintf line number immediately before calling abort()
... as an incentive to convert it to a proper solution ;-)

sync with autobuild

prepare another autobuild round

- also push level 1 rules on leanrt stack
- this also fixes a nasty bug where a learnt rule was
  not disabled by enabledisablelearntrules()

update to current solver format (data taken from 10.3-i386)

set pool architecture

adapt to swig bindings (incomplete, non-working)

further steps towards Perl bindings, still incomplete
- merge stuff from Kiwi
- work around bugs in CMake FindPerlLibs

comment added

comments added

comments

negate p before use as offset

add Decision (solver result element) and testcase

fix examples/ruby/basic.rb
add create_repo, create_transaction and create_solver to Pool
rename 'erase' to 'remove', its more natural
rename Pool.count_repo to Pool.count_repos

Install content2solv.

Memory efficient representation of the dirtree (important for
unabridged packages.DU).  Store and reread the dirtree (in a hacky way,
should use the info block).  Make dumpattr show the directory names.
On disk the same info as in my 10.3 packages.DU (1.4MB, 330 KB gzipped)
only takes 146 KB.

No idea why I had this as intlist.

Parse also +Dir:, i.e. the packages.DU file.  For now the info is stored
simply as an ATTR_INTLIST and the dirtree isn't saved at all.

Enable ATTR_INTLIST to contain zeros.  Use the same encoding as IDARRAY.

Some infrastructure for directory trees.

I'll have a need for inserting substrings into a stringpool.

fix example broken by module renames

prepare to pass rootdir for reading rpmdb from other directory
(unfinished)

- add evrmatch
- first shot at adding file provides

- fix bug in repo_addid_dep
- make repo_addid_dep handle different markers, so that we can add
  the file provides with SOLVABLE_FILEMARKER

Improve the page eviction a bit.
Add possibility to merge attributes between entities, use it to handle
=Shr susetags headers.

Let's not compare strings in an if-cascade or lookup the same names all
the time.

- some bug fixes + stop handling, nothing fancy

One-valued types for media number.  They can be encoded in the schema,
no need for storing 1, 2 or 3 all the time.

- some more things to think about

- do not exit on bad solv files

- 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