Package

at.logic.gapt

provers

Permalink

package provers

Content Hierarchy Learn more about scaladoc diagrams
Visibility
  1. Public
  2. All

Type Members

  1. trait Prover extends AnyRef

    Permalink

    A prover that is able to refute HOL sequents/formulas (or subsets of HOL, like propositional logic).

    A prover that is able to refute HOL sequents/formulas (or subsets of HOL, like propositional logic).

    TODO: exceptions to indicate that a formula is not supported (e.g. for propositional provers).

    Implementors may want to override isValid(seq) to avoid parsing proofs.

  2. abstract class ResolutionProver extends Prover

    Permalink

Value Members

  1. object FailSafeProver

    Permalink
  2. package atp

    Permalink
  3. package basicProver

    Permalink
  4. package eprover

    Permalink
  5. package eqProver

    Permalink
  6. object groundFreeVariables

    Permalink
  7. package inductionProver

    Permalink
  8. package leancop

    Permalink
  9. package maxsat

    Permalink
  10. package minisat

    Permalink
  11. package prover9

    Permalink
  12. object renameConstantsToFi

    Permalink
  13. package sat4j

    Permalink
  14. package vampire

    Permalink
  15. package veriT

    Permalink
  16. package z3

    Permalink

Ungrouped