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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62

use std::fs;

#[test]
fn test_2d_grid_parsing() {
    let mzn_code = fs::read_to_string("tests_all/models/test_2d_grid.mzn")
        .expect("Failed to read test_2d_grid.mzn");
    
    let ast = zelen::parse(&mzn_code)
        .expect("Failed to parse 2D grid example");
    
    // Verify the grid variable declaration exists
    let mut found_grid = false;
    for item in &ast.items {
        if let zelen::ast::Item::VarDecl(var_decl) = item {
            if var_decl.name == "grid" {
                found_grid = true;
                
                // Verify it's a multi-dimensional array
                match &var_decl.type_inst {
                    zelen::ast::TypeInst::Array { index_sets, .. } => {
                        // Should have 2 dimensions (n x m)
                        assert_eq!(index_sets.len(), 2, "Grid should be 2-dimensional");
                    }
                    _ => panic!("Grid should be an array type"),
                }
            }
        }
    }
    
    assert!(found_grid, "Grid variable declaration not found");
}

#[test]
fn test_2d_grid_translation() {
    let mzn_code = fs::read_to_string("tests_all/models/test_2d_grid.mzn")
        .expect("Failed to read test_2d_grid.mzn");
    
    let ast = zelen::parse(&mzn_code)
        .expect("Failed to parse 2D grid example");
    
    // Should translate successfully
    let _model = zelen::translate(&ast)
        .expect("Failed to translate 2D grid example");
}

#[test]
fn test_2d_array_indexing() {
    // Test that 2D array indexing with constant indices works
    let mzn_code = r#"
        int: n = 3;
        int: m = 4;
        array[1..n, 1..m] of var 1..9: grid;
        constraint grid[1,1] != grid[2,2];
        solve satisfy;
    "#;
    
    let ast = zelen::parse(&mzn_code)
        .expect("Failed to parse 2D array test");
    
    let _model = zelen::translate(&ast)
        .expect("Failed to translate 2D array indexing test");
}