Package-level declarations

A type for logic libraries, i.e. aliases aggregates of (possibly empty) collections of

Base type for anything that can be "plugged into" a solver by contributing operators, clauses, primitives, and functions -- namely Library and Runtime (a group of libraries), which both implement this by aggregating their constituents' contributions.

Represents a group of Library objects constituting the runtime a logic solver may leverage upon, keyed by Library.alias (as the underlying Map<String, Library> reflects).

Combines this Library and other into a two-library Runtime, via Runtime.of. Note that, unlike Runtime.plus, this does not reject a clashing Library.alias: if both share the same alias, other silently wins.

Converts the current library into a Runtime containing a single library