add "-h" for help

more flexibility in naming attribute files,
one can even have multiple ones in a single directory now ;-)

add "-h" for help

update to version 0.0.14

now that stuff is building

introduce libappsatsolver

Introduce 'application layer' below sat-solver/applayer.

Primarily for the SWIG bindings, this layer makes using sat-solver a
bit easier by abstracting from sat-solver internals to more
application specific objects.

adapt to reality

submit

added requirement for libexpat-devel; neede by the tools

Introduce pool->considered.  A map to select a subset of solvables for
solving.  As with whatprovides this currently lives in the pool and
somewhen should probably be moved with it into Solver.

- Moving helix parser to the API
- deptestomatic: Using helix-file for fallback if the solv-file does not
  exist.

Make susetags2solv directly read content files, so that we can use its
vendor for the solvables from the packages file.  So content2solv isn't
necessary, remove it and its call in repo2solv.sh.

More subtle errors in (up to now) untested code paths, this time dealing
with loading multiple SOLV files with attributes into one repo.

new version

get rid of -O3 in debug builds

Always initialize outgoing vars (probable cause for zypper crash).

Factor out the filter code in preparation for nicely configuring where
to write which attributes.

Whoops, description and summary are not supposed to be pool strings.

Also fill in description, summary, downloadsize, installsize, build
time, group and license.

Correct mediafile handling (and reindent some lines).

cleanup

- store location, dunno why it does not work yet

compile

compile

Support for generating separate sub files and bugfixes in the reader
side.  Try "susetags2solv -as" to play (e.g. with dumpsolv).

fix typo, it compiles with or without typo uh?

data can validly be 0, in which case we never have a localpool.

susetags2solv didn't parse multiple patterns since I implemented parsing
two or more packages files :-/

0.0.11

rename libsatsolver in satsolver-tools

honor Solver.limittokind

prepare limittokind

srcpackage_local only works from clean build dir it seems

cleanup

for the RPM-challenged

sync with autobuild

let's increase against factory

introduce Solvable.kind to remove the need for strcmp()/strchr() when
accessing the name in libzypp and other applications.
Its also in preparation of per-kind solving (not implemented yet).

The name prefix (e.g. "pattern:") is still kept but only needed for
capability matching. kind is implemented as an offset (unsigned int)
matching the length of the name prefix. Applications can simply use
(solvable.name + solvable.kind) to strip the prefix from the name.

To prevent name clashes, "product:" was renamed to "prod:". Being
seldomly used, this seems to be acceptable.

Missing understandable documentation on the format of .solv files, the
kind value is currently NOT stored but computed on read.
tools/repo_susetags.c is already prepared to write the kind, solv
version6 should support storing kind values in .solv files.

Fix merge_attrs, so that not (e.g.) two medianr attributes show up in
susetags converted solvables using =Shr .

Make mergesolv work again.

Make repo_lookup_num work.

Prefer installed solvables first if there are two available with the
same name and evr. Bug#351941

Doesn't segfault anymore.

expose repo_lookup_str and add lookup_num (nonworking)

unbreak

avoid segfault. FIXME please

I understand the solver a bit now , enough to hack around the problem causing
#354404 .  See the elaborate comment.  No additional test suite errors
(i.e. only those from the disabling of locale/language support).

fix segv when str2id(pool,NULL)

Iterating over the literals of a rule requires setting up the literal
list pointer from rule->d.

Bah, we have to handle the empty string too.  Whenever there were empty
strings (STRID_EMPTY), e.g. in s->vendor, the SOLV file was fairly
messed up in subtle ways.  This might fix #354404 (at least with this I
can't reproduce it).  Probably most SOLV files need to be regenerated.

added pool to arguments

trying to get a translated attribute working

- unify join and makeevr

xml store capabilities are parsed now.

next: attributes

try to move split and join out
support for more attributes of xmlstore

I think I will need to use another strategy for
the capability tag, the stupid state machine cant handle it

initial support for different kinds and pattern/patch store
tag names.

next: add support for store type of dependencies, which are slightly different
to the yum ones

- use namespace instead of solvable for languages
  (breaks some test cases, solv files have to be regenerated)

- add optimization comment

allow empty strings

- allow empty string space

Use repodata_merge_attrs to implement =Shr again.  Currently suboptimal,
as the blob data isn't shared in the file (the old attribute store
simply copied only ofs/len, the new one creates a new blob for each
reference to the same data snippet).

Split repodata_insert_keyid from repodata_set to create
repodata_merge_attrs.

A subtle but fatal off-by-one.

Storing the schema in front of the incore data releaves us from fiddling
with the entryschema members.

Document repodata_internalize a bit, after understanding what it does :)

I'm fairly sure this is right.  Probably untested code path.

compile

Increment needid[] of the right member.

remove superfluous Pool argument in policy_illegal_ functions

no comment

Small nit.

- split assignment to shut up stupid g++ compiler

- add key filtering to repo_write
- change repo_write so that it combines all available data
- integrate attr_store into repodata
- write storage parameter with every key, bump solv revision to 5
- don't create system rules for atoms
- change repo_susetags to use repodata interface

Added callbacks for policy handling.

- add dirpool support

introduce 'Covenants' as a generic representation of 'Locks'
Covenants are bound to the Solver and should be taken into account
when solving.
Still incomplete !

Very subtle sign/zero-extension bug occuring on 64bit.

- add dir reading code to solv reader
- change DU skeleton to use new layout
- add new type TYPE_DIR

Let's give fastlz a license, shall we?

It's nicer to represent the special numbers as TYPE_VOID with the actual
value sitting in key->size.

package submitted

reduced looging

- add evrcmp_str for ma

- fix support for splitprovides
- add some unfinished code for DU queries

- 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