Package-level declarations

The pluggable choice points of :solve-streams' resolution engine: given a Sequence of candidates, which one does the solver commit to first, and when is a goal considered proven?

The SolverFactory for :solve-streams, an experimental, Sequence-based resolution engine.