Documentation

Library manual

Reference for the self-contained C++20 divisible-load scheduling library that powers this portal: what it is for, what it covers, how to build and use it, and how it is licensed. Concepts and notation are defined in the Knowledge base. This manual is a living document and will grow as new problem classes and solvers are added.

Section

Solvers

The library exposes 0 solvers through one uniform interface. All accept the same DLSInstance and return the same DLSSolution; only the algorithm and quality guarantee differ. The auto solver selects the best heuristic for the instance size automatically and is the recommended default. Each row below is a runnable CLI command — no portal required — see the full CLI reference or embed the C++/C library directly for other ways to call the same solver. For the theory behind each method, see the Algorithms page in the Knowledge base.

Solver	What it does	Run it without the GUI