Package

at.logic.gapt.provers

inductionProver

Permalink

package inductionProver

Content Hierarchy
Visibility
  1. Public
  2. All

Type Members

  1. class HeuristicSolutionFinder extends SolutionFinder

    Permalink
  2. class SimpleInductionProof extends AnyRef

    Permalink

    Models a simple induction proof.

  3. class SipProver extends OneShotProver with Logger

    Permalink
  4. trait SolutionFinder extends AnyRef

    Permalink

Ungrouped