Package

at.logic.gapt.provers

spass

Permalink

package spass

Content Hierarchy
Visibility
  1. Public
  2. All

Type Members

  1. class SPASS extends ResolutionProver with ExternalProgram

    Permalink

Value Members

  1. object SPASS extends SPASS

    Permalink

Ungrouped