libsoplex.h

 
#pragma once
 
#ifndef DLINEAR_ENABLED_SOPLEX
#error SoPlex is not enabled. Please enable it by adding "--//tools:enable_soplex" to the bazel command.
#endif
 
#pragma GCC system_header
 
#include <soplex/soplex.h>  // IWYU pragma: export
 
extern template class soplex::SoPlexBase<soplex::Real>;
 
#ifdef DLINEAR_INCLUDE_FMT
 
#include "dlinear/util/logging.h"
 
OSTREAM_FORMATTER(soplex::VectorRational)
OSTREAM_FORMATTER(soplex::Rational)
OSTREAM_FORMATTER(soplex::SPxSolver::Status)
OSTREAM_FORMATTER(soplex::DSVectorRational)
OSTREAM_FORMATTER(soplex::SVectorRational)
 
#endif