zelen 0.5.1

Direct MiniZinc to Selen Solver
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

/// Example: Simple constraints with comparisons
///
/// Tests binary operators in constraints

fn main() -> Result<(), Box<dyn std::error::Error>> {
    let source = r#"
        var 1..10: x;
        var 1..10: y;
        
        constraint x < y;
        constraint x + y < 15;
        
        solve satisfy;
    "#;

    println!("Parsing model with constraints...");
    let ast = zelen::parse(source)?;
    
    println!("Translating to Selen Model...");
    let model = zelen::translate(&ast)?;
    
    println!("Solving...");
    match model.solve() {
        Ok(solution) => {
            println!("\n✓ Solution found!");
            println!("{:?}", solution);
        }
        Err(e) => {
            println!("No solution found: {:?}", e);
        }
    }

    Ok(())
}