ap.proof.theoryPlugins
Task integrating a Plugin (or TheoryProcedure) into a prover
Plugin
TheoryProcedure
Task integrating a
Plugin
(orTheoryProcedure
) into a prover