The borg project includes a practical algorithm portfolio for decision problems, a set of tools …
https://github.com/borg-project/borg.git
latest