18#include "absl/strings/str_format.h"
20#if !defined(__PORTABLE_PLATFORM__)
22#include "absl/status/status.h"
28 if (output_ !=
nullptr) {
29#if !defined(__PORTABLE_PLATFORM__)
45void DratWriter::WriteClause(absl::Span<const Literal> clause) {
47 absl::StrAppendFormat(&buffer_,
"%d ",
literal.SignedValue());
50 if (buffer_.size() > 10000) {
51#if !defined(__PORTABLE_PLATFORM__)
void DeleteClause(absl::Span< const Literal > clause)
void AddClause(absl::Span< const Literal > clause)
absl::Status WriteString(File *file, const absl::string_view &contents, int flags)
The vehicle routing library lets one model and solve generic vehicle routing problems ranging from th...