Struct Baron 

pub struct Baron {
    pub exec: Option<String>,
}

BARON backend. Writes an oximo Model to a temporary .bar file, invokes the baron executable, and parses the result.

Fields

exec: Option<String>

Optional override for the BARON executable path. When None, "baron" is looked up from PATH. Overridden per-call by BaronOptions::baron_path.

Implementations

impl Baron

pub fn new() -> Self

Create a backend that uses baron from PATH.

pub fn with_exec(path: impl Into<String>) -> Self

Create a backend pointing at an explicit BARON executable path.

Trait Implementations

impl Clone for Baron

fn clone(&self) -> Baron

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Baron

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for Baron

fn default() -> Baron

Returns the “default value” for a type.

impl InfeasibilityDiagnosis for Baron

fn compute_iis( &mut self, model: &Model, opts: &BaronOptions, ) -> Result<Iis, SolverError>

Compute an irreducible infeasible subsystem for model.

impl Solver for Baron

type Options = BaronOptions

Backend-specific options struct. Use () for solvers without any tunables.

fn name(&self) -> &str

fn supports(&self, kind: ModelKind) -> bool

fn solve( &mut self, model: &Model, opts: &BaronOptions, ) -> Result<SolverResult, SolverError>

Solves the given Model using this solver.