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
31
32
33
34
35
36
37
38
39
40
41

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

fn main() -> SolverResult<()> {
    println!("=== Debug Optimization Path ===\n");
    
    // Test case that hangs: two variables, minimize one
    println!("Creating model with two variables...");
    let mut m = Model::default();
    let x = m.float(0.0, 100.0);
    let y = m.float(0.0, 100.0);
    
    println!("Adding constraint: x >= float(10.0)");
    post!(m, x >= float(10.0));
    
    println!("About to call minimize(x)...");
    println!("This will:");
    println!("1. Call minimize_and_iterate(x).last()");
    println!("2. Which calls try_optimization_minimize first");
    println!("3. If that fails, falls back to search");
    
    let start = Instant::now();
    
    // This is where it hangs
    let result = m.minimize(x);
    let duration = start.elapsed();
    
    match result {
        Ok(solution) => {
            println!("✅ Success after {:?}", duration);
            if let Val::ValF(value) = solution[x] {
                println!("   x = {:.2}", value);
            }
        }
        Err(e) => {
            println!("❌ Error after {:?}: {:?}", duration, e);
        }
    }
    
    Ok(())
}