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

use selen::prelude::*;

#[test]
fn debug_step_alignment() {
    let m = Model::default();
    let step_size = m.float_step_size();
    println!("Step size: {}", step_size);
    
    // Check if 5.5 is properly aligned with the step grid
    // Let's see what values are actually on the grid
    let val_5_5 = 5.5;
    let steps_from_min = (val_5_5 - 1.0) / step_size;
    println!("5.5 is {} steps from min 1.0", steps_from_min);
    println!("Steps from min (rounded): {}", steps_from_min.round());
    
    let aligned_5_5 = 1.0 + steps_from_min.round() * step_size;
    println!("5.5 aligned to grid: {}", aligned_5_5);
    println!("Difference: {}", (aligned_5_5 - 5.5).abs());
    
    // Test what prev(5.5) should be
    let prev_5_5 = aligned_5_5 - step_size;
    println!("prev(5.5) = {}", prev_5_5);
    
    // And what next(prev(5.5)) is
    let next_prev_5_5 = prev_5_5 + step_size;
    println!("next(prev(5.5)) = {}", next_prev_5_5);
    println!("Should equal 5.5: {}", (next_prev_5_5 - aligned_5_5).abs() < 1e-15);
}