Uses of Interface
operations_research.sat.Lrat.LratProofStepOrBuilder

Packages that use Lrat.LratProofStepOrBuilder

Package	Description
operations_research.sat

Uses of Lrat.LratProofStepOrBuilder in operations_research.sat

Classes in operations_research.sat that implement Lrat.LratProofStepOrBuilder

Modifier and Type	Class	Description
static final class	Lrat.LratProofStep	An LRAT UNSAT proof is a sequence of steps, starting from imported clauses and ending with the empty clause.
static final class	Lrat.LratProofStep.Builder	An LRAT UNSAT proof is a sequence of steps, starting from imported clauses and ending with the empty clause.