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

use std::fs;

fn main() {
    let mzn_code = fs::read_to_string("examples/models/sudoku.mzn")
        .expect("Failed to read sudoku.mzn");
    
    println!("=== Parsing Sudoku Example ===\n");
    
    let ast = match zelen::parse(&mzn_code) {
        Ok(ast) => {
            println!("✓ Parsing successful!");
            println!("AST contains {} items", ast.items.len());
            ast
        }
        Err(e) => {
            println!("✗ Parsing failed: {}", e);
            std::process::exit(1);
        }
    };
    
    println!("\n=== Translating Sudoku Example ===\n");
    
    match zelen::translate(&ast) {
        Ok(_model) => {
            println!("✓ Translation successful!");
            println!("Model created successfully with 2D array constraints");
        }
        Err(e) => {
            println!("✗ Translation failed: {}", e);
            std::process::exit(1);
        }
    };
}