selen 0.15.5

Constraint Satisfaction Problem (CSP) solver
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12

//! Consolidated integration test
use selen::prelude::*;

#[test]
fn test_basic_solving() {
    let mut model = Model::default();
    let x = model.int(1, 10);
    model.new(x.eq(5));
    let result = model.solve();
    assert!(result.is_ok());
    assert_eq!(result.unwrap().get_int(x), 5);
}