tiny.smt.ProofClause

1/// One starting clause of a `ProofArtifact`: a clause the checker takes as given. Code that writes2/// a proof or checks its scope walks the starting clauses.3pub const ProofClause = struct {4    /// The literals of the clause, owned by the artifact and freed by `ProofArtifact.deinit`.5    literals: []Literal,6};

1pub const ProofClause = sat.ProofClause;