Libraries

  • 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


Last updated 2016-07-29 10:29:26 CEST