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
29
30

use selen::prelude::*;
use std::time::Instant;

#[test] 
fn main() -> SolverResult<()> {
    println!("Testing embedded statistics API (replacing solve_with_callback)...");
    
    let start = Instant::now();
    let mut m = Model::default();
    let x = m.int(1, 9);
    let y = m.int(1, 9);
    
    m.new(x.ne(y));
    
    let solution = m.solve()?;
    
    let duration = start.elapsed();
    
    println!("✅ Success in {:?}!", duration);
    println!("Stats: {} propagations, {} nodes", 
             solution.stats.propagation_count, solution.stats.node_count);
    if let Val::ValI(x_val) = solution[x] {
        println!("x = {}", x_val);
    }
    if let Val::ValI(y_val) = solution[y] {
        println!("y = {}", y_val);
    }
    
    Ok(())
}