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

use selen::prelude::*;

fn main() {
    let mut model = Model::default();
    
    println!("Creating invalid variable with int(10, 5)...");
    let x = model.int(10, 5);
    println!("Variable created: {:?}", x);
    
    println!("Running validation...");
    match model.validate() {
        Ok(_) => println!("❌ Validation passed (unexpected)"),
        Err(e) => println!("✅ Validation caught error: {}", e),
    }
    
    println!("Attempting to solve...");
    match model.solve() {
        Ok(_) => println!("❌ Solving succeeded (unexpected)"),
        Err(e) => println!("✅ Solving failed: {}", e),
    }
}