clarified signature;

tuned;

prefer static object, while class is required for "services";

clarified signature: prefer default;

merged

tuned;

more robust: check subclasses as well;

more robust;

support for alternative user home, e.g. to avoid slow NFS shares;

support explicit USER_HOME within SSH session;

tuned;

merged

Further adjustments to the syntax for Lebesgue integration

tuned comments;

more robust: always close, despite failure;

clarified signature;

tuned signature;

tuned comments;

clarified signature;

Distinguish two versions of cvc5 -- one used for Sledgehammer, one for proof reconstruction in SMT. provided by Mathias Fleury

tuned whitespace;

prefer static object, while class is required for "services" (see 47eb96592aa2);

clarified directories; clarified names;

tuned signature;