prismulti 0.1.1

A multi-threaded Rust implementation of a subset of the PRISM model checker.
1
2
3

fn main() {
    lalrpop::process_root().unwrap();
}