Skip to content
/ luet Public

📦 🐳 0-dependency Container-based Package Manager using SAT solver and QLearning

License

Notifications You must be signed in to change notification settings

mudler/luet

Repository files navigation

luet - Container-based Package manager

Docker Repository on Quay Build and release on push GoDoc codecov

Luet is a multi-platform Package Manager based off from containers - it uses Docker (and others) to build packages. It has zero dependencies and it is well suitable for "from scratch" environments. It can also version entire rootfs and enables delivery of OTA-alike updates, making it a perfect fit for the Edge computing era and IoT embedded devices.

It offers a simple specfile format in YAML notation to define both packages and rootfs. As it is based on containers, it can be also used to build stages for Linux From Scratch installations and it can build and track updates for those systems.

It is written entirely in Golang and where used as package manager, it can run in from scratch environment, with zero dependencies.

asciicast

In a glance

Install

  • Using official installer script:

    $ curl https://luet.io/install.sh | sudo sh
  • Or using bin

    $ bin i github.com/mudler/luet

Test installation:

$ luet --help
$ luet search ...
$ luet install ..

Documentation

Documentation is available, or run luet --help, any subcommand is documented as well, try e.g.: luet build --help.

Dependency solving

Luet uses SAT and Reinforcement learning engine for dependency solving. It encodes the package requirements into a SAT problem, using gophersat to solve the dependency tree and give a concrete model as result.

SAT encoding

Each package and its constraints are encoded and built around OPIUM. Additionally, Luet treats also selectors seamlessly while building the model, adding ALO ( At least one ) and AMO ( At most one ) rules to guarantee coherence within the installed system.

Reinforcement learning

Luet also implements a small and portable qlearning agent that will try to solve conflict on your behalf when they arises while trying to validate your queries against the system model.

To leverage it, simply pass --solver-type qlearning to the subcommands that supports it ( you can check out by invoking --help ).

Authors

Luet is here thanks to our amazing contributors!.

Luet was originally created by Ettore Di Giacinto, [email protected], [email protected].

License

Luet is distributed under the terms of GPLv3, check out the LICENSE file.