oximo 0.7.0

A Rust algebraic modeling library for solving optimization problems
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47

//! Native SOS1 and SOS2 constraints with Gurobi.
//!
//! Run with:
//! ```text
//! cargo run -p oximo --example sos --features gurobi
//! ```

use oximo::prelude::*;
use oximo::{GurobiOptions, solvers::Gurobi};

fn main() -> Result<(), Box<dyn std::error::Error>> {
    let model = Model::new("sos_example");

    variable!(model, 0.0 <= choice_a <= 10.0);
    variable!(model, 0.0 <= choice_b <= 10.0);
    variable!(model, 0.0 <= choice_c <= 10.0);
    variable!(model, 0.0 <= curve_0 <= 10.0);
    variable!(model, 0.0 <= curve_1 <= 10.0);
    variable!(model, 0.0 <= curve_2 <= 10.0);

    // At most one choice variable may be nonzero.
    sos_constraint!(model, one_choice, SOS1, [choice_a, choice_b, choice_c]);

    // At most two curve variables may be nonzero, and they must be adjacent
    // according to their weights.
    sos_constraint!(model, adjacent_curve, SOS2, [(curve_0, 1.0), (curve_1, 2.0), (curve_2, 3.0),]);

    objective!(
        model,
        Max,
        choice_a + 2.0 * choice_b + 3.0 * choice_c + curve_0 + curve_1 + curve_2
    );

    let result = Gurobi.solve(&model, &GurobiOptions::default())?;
    println!("termination = {:?}", result.termination);
    for (name, value) in [
        ("choice_a", result.value_of(choice_a)),
        ("choice_b", result.value_of(choice_b)),
        ("choice_c", result.value_of(choice_c)),
        ("curve_0", result.value_of(curve_0)),
        ("curve_1", result.value_of(curve_1)),
        ("curve_2", result.value_of(curve_2)),
    ] {
        println!("{name:>8} = {:.6}", value?.unwrap_or_default());
    }
    Ok(())
}