Uses of Interface
operations_research.sat.Lrat.LratProofStepOrBuilder
Packages that use Lrat.LratProofStepOrBuilder
-
Uses of Lrat.LratProofStepOrBuilder in operations_research.sat
Classes in operations_research.sat that implement Lrat.LratProofStepOrBuilderModifier and TypeClassDescriptionstatic final classAn LRAT UNSAT proof is a sequence of steps, starting from imported clauses and ending with the empty clause.static final classAn LRAT UNSAT proof is a sequence of steps, starting from imported clauses and ending with the empty clause.