DecodeModel decodes a model from the SAT solver to package assertions (types.PackageAssert).

IsRelaxedResolver returns true wether a solver might take action on user side, by removing some installation constraints or taking automated actions (e.g.

Defaults LearningRate 0.7, Discount 1.0.

NewResolver accepts as argument two lists of packages, the first is the initial set, the second represent all the known packages.

NewSolver accepts as argument two lists of packages, the first is the initial set, the second represent all the known packages.

Bump it if you increase the number of actions.

Choice implements qlearning.Action for a package choice for removal from wanted targets.

Solver is the default solver for luet.