solver_config.hpp

Go to the documentation of this file.

/*
 * Copyright © 2025-2026 Akreon LLC
 * SPDX-License-Identifier: Apache-2.0
 */
 
#pragma once
 
#include "akreon/linalg/numerical_config.hpp"
#include "akreon/linalg/vector/algebra_util.hpp"
 
namespace config {
#ifndef PD_IPM_STEPS
#define PD_IPM_STEPS 32
#endif
 
template <linalg::Real T>
struct RegularizationConfig {
  T global_eps{1e-12}; 
  T eq_eps{1e-8};      
};
 
template <linalg::Real T>
struct PrimalDualIPMConfig {
  std::size_t steps{PD_IPM_STEPS}; 
  std::size_t backtrack_steps{64}; 
  T primal_feas_tol{1e-5};         
  T dual_feas_tol{1e-5};           
  T duality_gap_tol{1e-5};         
  T Delta{2 * linalg::ln2_v<T>};   
  FactorConfig<T> schur{.tol = T(1e-12),
                        .floor_eps = T(1e-14)}; 
  RegularizationConfig<T> reg;                  
};
 
enum struct SolverResult : uint8_t {
  INFEASIBLE_OR_UNBOUNDED = 0,
  OPTIMAL,
  PRIMAL_FEASIBLE,
  DUAL_FEASIBLE,
  PRIMAL_DUAL_FEASIBLE,
  PRIMAL_OPTIMAL,
  DUAL_OPTIMAL,
  INFEASIBLE_OPTIMAL
};
 
} // namespace config