Libzipperposition: core library with terms, formulas, etc.
Libzipperposition_arbitrary: random instances generator
Libzipperposition_meta: Meta-level prover
Libzipperposition_parsers: some parsers
Libzipperposition_prover: Superposition-specific library