Rust implementation of LT-PDR.
There is LT-PDR itself in src/lib.rs
and one instance for simple transition systems in src/instances/simple_trans.rs.
Do cargo run --example simple_trans to run an example in examples/simple_trans.rs.
Rust implementation of LT-PDR.
There is LT-PDR itself in src/lib.rs
and one instance for simple transition systems in src/instances/simple_trans.rs.
Do cargo run --example simple_trans to run an example in examples/simple_trans.rs.