14 #ifndef OR_TOOLS_SAT_DRAT_WRITER_H_
15 #define OR_TOOLS_SAT_DRAT_WRITER_H_
19 #if !defined(__PORTABLE_PLATFORM__)
24 #include "absl/types/span.h"
39 : in_binary_format_(in_binary_format), output_(output) {}
44 void AddClause(absl::Span<const Literal> clause);
52 void WriteClause(absl::Span<const Literal> clause);
55 bool in_binary_format_;
void DeleteClause(absl::Span< const Literal > clause)
DratWriter(bool in_binary_format, File *output)
void AddClause(absl::Span< const Literal > clause)
The vehicle routing library lets one model and solve generic vehicle routing problems ranging from th...