fix: header extern C and guard

Document BPOOL_FLAG_NOWHATPROVIDESAUX and POOL_FLAG_WHATPROVIDESWITHDISABLED

At least in libsolv-bindings...

Use SOLVER_DECISIONLIST_SORTED in showwhy()

Implement decision sorting for package decisionlists

We only sort blocks of unit rule decisions for now.

Support x86_64_v[234] architecture levels

Use pool instread of solv->pool where we can

Use solver_problem2str() convenience function in the demo solver

Move replace solution types from the bindings to the library

This adds two new functions:

solver_all_solutionelements()
return a queue with (type,p,rp) solution triplets.

solver_solutionelementtype2str()
this is similar to solver_solutionelement2str(), but also takes a
type parameter so that the replace types result in different strings.

Make use of the two functions in the example solver to
show how they work.

Fix typo in comment

Split is_obsoleting() from policy_findupdatepackages

This makes the code a bit more readable. Plus, we can reuse
this function in the future.

Merge pull request #516 from hroncok/no_distutils

Python: Remove usage of the deprecated distutils module

Python: Remove usage of the deprecated distutils module

Python 3.12+ no longer has distutils.

See https://peps.python.org/pep-0632/

Fix pool_whatmatchesdep's SOLVABLE_NAME hack

Speed up obsoletes handling in update rule generation a bit

Add testcase for yumobs pruning

Improve pruning of yumobs branches

Add alternative/yumobs.t testcase

Do not report alternatives for yumobs splits

Move alternatives introspection code into decision.c

Add release to obsoletes in the alternative/update.t test

Otherwise it fails on debian.

Require rpm dependencies in alternative/learnt

The pool_dep2str() output depends on the disttype

Add testcases for the alternative introspection

Adapt testcases to the last change

Make use of solver_alternative2str() in testcases

The downside is that only the first ruleinfo is displayed. We'll
see if we need solver_allalternativeinfos...

Handle learnt rules in solver_alternativeinfo()

Swap from/to in the ruleinfo instead of just overwriting

Otherwise we report a wrong providing package.

Update checksum types in bindings documentation

Add changes, bump version to 0.7.23

solv: Do not print duchanges if there is no change

Add a DISABLE_UPDATE entry if we need to disable a best rules

Add solver_alternativeinfo() function

This code is split off from the solver_alternative2str() function
so that library users can offer translated messages.

Make get_decision also return a decision for unrelated solvables

Consistency with get_decisionlist().

Add documentation for solver.get_decision()

And no longer document the obsolete describe_decision method.

Improve solver_alternative2str

Add code for SOLVER_RULE_BEST and SOLVER_RULE_PKG_RECOMMENDS.

Add alternative reporting

Also make pysolv work again with newer rpm versions. We need
to rewind the file descriptor int the RPMCALLBACK_INST_OPEN_FILE
callback as rpm now opens the file twice.

Document pool.solvableset2str and pool.solvidset2str

Document the Alternative, Decision, Decisionset classes

Rename solver.all_alternatives to solver.alternatives

Make it consistent with problem.solutions()

Tweak decision bindings to make them more consistent

Make rule/solvable attributes. Rename decisionset.packages()
to decisionset.solvables(). Add decisionset.Dep attribute.

Also add missing SOLVER_RULE constants.

Make use of the new solver_decisionlist_merged() function

It's faster and simpler than the old way.

Add a solver_decisionlist_merged() function

This returns the number of merged decisions for a decisionlist
entry, i.e. the number of decisions minus one.

bindings: add decisionlistset.decisions() to get the merged decisions

Small code refactoring, no functional changes

Small code cleanup, no functional changes

Add proof reporting to the 'solv' example tool

Add -Wno-missing-braces when compiling tcl bindings

Add Decisionlistset object to the bindings to support merged decisions

Also make solvidset2str available.

Support decisions in the bindings

Adapt testsolv to latest changes

Rename merge state to "bits" and put it into the decision info

This makes the returned decision with extra data consist of:
(decision, reason, info, bits, type, from, to, dep)

Merging and printing needs the bits anyway, so providing it
right away makes things easier.

Also add a new SOLVER_DECISIONLIST_MERGEDINFO flag with returnes
"merged" decisions. This is just the "bits" part, the rest
of the decision data stays unchanged.

A new solver_decisionlist_solvables() helper can be used
to return all the decision solvables of a merged or unmerged decision.

Add forgotten SOLVER_REASON_UNRELATED to solver_reason2str

Refactor linkedpkg handling

Only export one find_autopackage_name function to be used
for language lookups. Also make a couple of internal
functions static.

Adapt testsolv to the decision introspection changes

Add support for decisioninfo merging

This is not 100% fixed, the names might still change
if I come up with something better.
Also add code to stringify the decision reason.

Unify proof generation with decisionlist query

Both generate a list of decisions, so having a unified API
makes sense.

The returned decisions are of the form (decision, reason, info)
unless the WITHINFO flag is used, which returns
(decision, reason, info, type, from, to dep) heptlets.

Also move decision introspection code into a new decisions.c
file.

Provide new solvidset2str() function to print a set of solvables

This is multipkg() from testcase.c. We'll switch to the new
function in a later commit.

More tweaks for the proof reporting in testsolv

proof generation: Try not to end with a SOLVER_RULE_RPM_SAME_NAME rule

They usually get not shown to the user, so it is nicer to have
something else as unsolvable rule.

Also fix sorting and start with negative assertions.

Merge pull request #513 from banjiuqingshan/master

fix memory leak caused by commit 1da9bef8

fix memory leak caused by commit 1da9bef8

the memory allocated by map_init in solver_disablechoicerules failed to be released in time.

Support learnt rules in proof reporting

Add premises for learnt rule proofs

We currently set the rule type to zero. This may change in the
future.

testsolv: Add -P option that displays the proofs of each problem

Learnt rules are not yet printed.

We might want to move the "multipkg" function in the library in
the future.

Add sorting of proof steps

As we need the ruelinfo to do this, we also put them into the
returned data, so we now have (litpkg, rid, type, from, to, dep)
hexels instead of the (litpkg, rid) tupels.

Also commit header file

Should have been in commit 607511873490736fafca6dd9081fba5e3fce3e87

Fix solver_rule2solvable implementation

It should return a solvable id.

Fix ruleinfo for recommends rules

Those are limited versions of pkg rules.

Use new solver_get_decisionlist() interface in testsolv's showwhy()

Move decisionlist generation into the library

This functionality is useful for multiple programs that use
libsolv, so it does not make sense to duplicate the code
into each of them.

So we now offer solver_get_decisionlist() to get a list of
decisions that let to the installation/deinstallation of a
package. There is also solver_get_decisionlist_multiple() that
can be used if multiple packages should be considered.

The output is a list of (package, reason, info) triplets.
Package is positive for installs, negative for conflicts.

This commits also deprecates solver_describe_weakdep_decision().
it makes more sense to unify weakdep decisions with rule
decisions as both come from package dependencies.
So we now have solver_allweakdepinfos() and solver_weakdepinfo()
that returns the ruleinfo for a weakdep decision. You can then
use solver_ruleinfo2str() to convert the ruleinfo to a string.

update showwhy implementation

Use a different output format and simplify the code.

Drop "package" prefix in solver_ruleinfo2str

Add support for weak rule types to solver_ruleinfo2str

Those rules do not show up in the problem rules, so we did
not need to support them before.

Add -W option to show why the solver installed/erased the specified package

This shows everything that led to the decision.

Add solver_ruleinfo2str to get information about a rule

This is like solver_problemruleinfo2str, but not with a problem view.
I.e. it does not say that the rule cannot be fulfilled.

Fix type check broken by commit 26fcfa714a29d1feb393e9a61f9d1a04556866a6

Caught by our libzypp test cases. I should run them more often.

Add a testcase for orphaned package handling in choice rules

Implement getting the releasever from the base product on SUSE

Do not autouninstall suse ptf packages

Check subpackage length when parsing pubkeys

Merge pull request #504 from lnussel/plaindir

solv: add plaindir repo support

Add functions to make proof reporting easier

solver_get_learnt: return all rearnt rules used in the proof
of a problem or another learnt rule.

solver_get_proof: return the decisions that led to the
problem or learnt rule.

Note that this is experimental and subject to change. We will
need to add some sorting code to solver_get_proof() to group
similar steps, but this means that we need to get the
ruleinfo for the involved rules. But in that case we can
as well also return the ruleinfo data with the call.

Prefer SOLVER_RULE_PKG_SAME_NAME in solver_ruleinfo

Merge pull request #505 from jon-turney/fix-dup-reuse-crash

Ensure duplinvolvedmap_all is reset when a solver is reused

Ensure duplinvolvedmap_all is reset when a solver is reused

Otherwise, if solver is used with a SOLVER_DISTUPGRADE job, then reused
without one, this will cause solver_addduprules() to be called, even
though needduprules is 0, which will crash trying to dereference
solv->dupmap, which is NULL because solver_createdupmaps() hasn't been
called.

github ci: make build more verbose

solv: add plaindir repo support

Add SOLVABLE_SIGNATUREDATA to list of verticals

The data is not small and also not used for dependency solving.

conda: add support for package signature verification

This commits adds SOLVABLE_SIGNATUREDATA which contains the data
needed to verify the signatures of a package. You will need
to pass CONDA_ADD_WITH_SIGNATUREDATA to the flags in the
repo_add_conda call to enable this.

This is still experimental.

Add jsonparser_collect() that can be used to collect the json that is skipped

repo_conda: implement support for a global subdir

Merge pull request #499 from banjiuqingshan/master

Fix memory leak when using testsolv to execute cases

Fix memory leak when using testsolv to execute cases

*resultp will only keep the pointer of the last cycle, which will lead to memory leakage.
This solves the first memory leak problem in issue #496 "==255147==error..."

Special case file dependencies in the testcase writer

There's special casing in the reader, so we have to make sure
that complex dependencies starting with a '/' are written
correctly.

Add changes, bump version to 0.7.22

Support Debian's Multi-Arch indicator

For now just in repo metadata.

Add complex_deps requirement to choice1b testcase

Improve choice rule generation

New strategy: take the package update map into account when creating
choice rules. This simplifies the code quite a bit. Also check at
the end of the solving if a choice rule led to two packages providing
the same thing. In that case, break the choice rule and re-run the
solver.

Add more choicerules tests

runtestcases.sh: order the testcases

CI: run test in the "build" dir