Packages

package rup

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. Protected

Type Members

  1. sealed trait Res extends DagProof[Res]

    Resolution proofs in DIMACS format.

  2. case class RupProof(lines: Vector[Line]) extends Product with Serializable

    Reverse unit propagation proof.

Value Members

  1. object Res
  2. object RupProof extends Serializable

Ungrouped