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::Model;
use selen::optimization::classification::ProblemClassifier;

fn main() {
    // Test the classification for the failing test case
    let mut model = Model::with_float_precision(6);
    let float_x = m.float(0.0, 10.0);
    let float_y = m.float(5.0, 15.0);
    let int_a = m.int(0, 10);
    let int_b = m.int(5, 15);
    
    // Add constraints within each type (simulating separable problem)
    m.less_than_or_equals(float_x, float_y);
    m.less_than_or_equals(int_a, int_b);
    
    let vars = m.get_vars();
    let props = m.get_props();
    let problem_type = ProblemClassifier::classify(vars, props);
    
    println!("Problem classification: {:?}", problem_type);
}