selen 0.15.5

Constraint Satisfaction Problem (CSP) 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

//! Debug FlatZinc parsing

use selen::prelude::*;

fn main() {
    let fzn = r#"
        var 1..3: x;
        var 1..3: y;
        constraint int_eq(x, 1);
        solve satisfy;
    "#;

    let mut model = Model::default();
    let result = model.from_flatzinc_str(fzn);
    
    match result {
        Ok(_) => {
            println!("✓ FlatZinc parsed successfully!");
            match model.solve() {
                Ok(_) => println!("✓ Solution found!"),
                Err(e) => println!("✗ Solve failed: {:?}", e),
            }
        }
        Err(e) => {
            println!("✗ FlatZinc parsing failed: {:?}", e);
        }
    }
}