As per James' request, EncCNF and VEncCNF now no longer refer to an explicit literal type L, instead using Literal v everywhere (which has already been proven to be a LawfulLitVar, etc.).
Downstream affected files, including Dimacs.lean and the encodings, have been fixed.
As per James' request,
EncCNFandVEncCNFnow no longer refer to an explicit literal typeL, instead usingLiteral veverywhere (which has already been proven to be aLawfulLitVar, etc.).Downstream affected files, including
Dimacs.leanand the encodings, have been fixed.