OR-Tools  8.2
DratWriter Member List

This is the complete list of members for DratWriter, including all inherited members.

AddClause(absl::Span< const Literal > clause)DratWriter
DeleteClause(absl::Span< const Literal > clause)DratWriter
DratWriter(bool in_binary_format, File *output)DratWriterinline
~DratWriter()DratWriter