reachability_solver 0.2.0

A linear reachability solver for directional edges
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

extern crate reachability_solver;

use reachability_solver::{solve, etch, shapes, map};

fn main() {
    let n = 4;
    // 0 1 2 3
    let mut x = shapes::dir_line(n);
    while x.len() > 0 {
        let m = solve(x.clone());
        println!("{}", map::visualize(&map::map2([4, 1], &x)));
        println!("{:?}\n---------------------------------------\n{:?}\n", x, m);
        etch::initial(&m, &mut x);
    }
}