Packages

package conflict

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. trait ConflictAnalyser extends AnyRef

    Represents general way to learn a conflict clause.

Value Members

  1. object SimpleConflictAnalyser extends ConflictAnalyser

    Very dumb algorithm, which just unions all literals on each decision level.

Ungrouped