Disable choice rules for Conda

Add changes, bump version to 0.7.27

Further optimize dirpool caching in repo_write

This halves the time to convert the rawhide/Everything repo.

Add license blurb to findfileconflicts tool

Like with all the other tools...

installcheck: use solver_problemruleinfo2str()

No longer use legacy problem types in installcheck

No functual changes.

Rewrite strlen_comp so that it no longer has its own list of compression types

Merge pull request #544 from Vogtinator/zst

installcheck: Support .zst files and fix .lzma

installcheck: Support .zst files and fix .lzma

repo_write: add a small cache for putinowndirpool()

This helps a lot with diskusage data or filelists.

Add changes, bump version to 0.7.26

repo_rpmdb.c: Do not use deprecated headerUnload with newer rpm versions

We check the definition of RPM_MASK_TYPE to find out it rpm is
new enough.

Fix evr roundtrip

Remove the "0:" stripping from the evr in testcase_read. Messing
with the evr is not our business, we need to reproduce the data
as faithful as possible.

Add changes, bump version to 0.7.25

Support rich deps in SOLVABLE_PREREQ_IGNOREINST

Do not minimize from an installed to an uninstalled package when checking recommends

Also prune to installed packages (or their update candidates)
when doing extra reordering, i.e. when the update roles are
not yet resolved.

Fixes issue #539

repo_conda: overwrite the package subdir with the info subdir if there is a conflict

This is what classic conda does, so we also need to do it.
Fixes issue #529

Save memory in repo_updateinfoxml by not interleaving repo_addflexarray calls

Mixing repo_addflexarray calls will make the code moving the arrays
in the idarraydata all the time as it cannot append to the arrays.
So first collect the array contents of the collection flexarray and
then add it in one go.

This is based on pull request #533 by Aleš Matěj <amatej@redhat.com>.

Clean up header files

Move type declarations of Repo/Repodata/Solvable into pooltypes.h.

Merge pull request #530 from AntoinePrv/fix-header

Fix incomplete headers

choice rules: also do solver_choicerulecheck for package downgrades

Fixes issue #514

Fix incomplete headers

Only disable infarch rules on erase if the package was in lock-step

Fiexes issue #528

Allow to break arch lock-step on erase operations

We allow it if SOLVER_SETARCH is (auto-)set in the erase job.

Add 'feature complex_deps' to ifelse_rec.t testcase

Add testcase for last commit

Treat condition both as positive and negative literal in pool_add_pos_literals_complex_dep

That's because (A IF B ELSE C) gets rewritten to (A OR ~B) AND (C OR B) and
(A UNLESS B ELSE C) gets rewritten to (A AND ~B) OR (C AND B). In both
cases we have A, B, ~B, C.

This resolves issue #527

Add changes, bump version to 0.7.24

Add back findutils requires for libsolv-tools

It was deleted by accident in commit 755462c2b06b079f11d431aa44c7a6146cfea424.

Merge pull request #520 from ffontaine/master

Fix build without C++

Merge pull request #521 from AntoinePrv/headers

Fix conda headers

fix: header extern C and guard

Fix build without C++

Fix the following build failure without C++:

CMake Error at CMakeLists.txt:1 (PROJECT):
  No CMAKE_CXX_COMPILER could be found.

  Tell CMake where to find the compiler by setting either the environment
  variable "CXX" or the CMake cache entry CMAKE_CXX_COMPILER to the full path
  to the compiler, or to the compiler name if it is in the PATH.

Fixes:
 - http://autobuild.buildroot.org/results/a7f2176d40f156c319754ef5d3b7fd0decfe754f

Signed-off-by: Fabrice Fontaine <fontaine.fabrice@gmail.com>

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()