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...