clarified signature;

tuned;

tuned;

consider schedule calculation time in estimation;

compare previous build schedule with new one, to prevent regressions;

clarified: build schedules may be outdated when empty, after some time, or due to build progress;

store previous build jobs in graph so schedules can be used later in the build process;

add serial for build schedule to avoid unnecessary db read/writes;

tuned;

clarified;

tuned;

use build database to synchronize build schedule computed on master node (e.g., such that view on cluster is consistent);

add build uuid to schedule;

tuned;

use schedule directly instead of extra cache;

added build schedule command-line wrapper;

added graphical representation of build schedules;

clarified build heuristics parameters;

proper parallel paths: factor in elapsed time;

performance tuning: cache estimates;

misc tuning and clarification;

tuned;

misc tuning and clarification, following Term.incr_bv / Term.incr_boundvars;

tuned;

tuned;

minor performance tuning: regular Same.operation;

clarified signature: more standard argument order;

clarified signature: more standard argument order;

tuned whitespace;

tuned: more standard names;