flatzinc

是FlatZinc建模语言2.8.3版本的解析器。

编译

❯ cargo build --release

使用方法

在您的Cargo.toml

[dependencies]
flatzinc = "0.3.20"

在您的代码中

use flatzinc::Stmt;

match <Stmt as std::str::FromStr>::from_str(line) {
    Ok(result) => println!("{:#?}", result),
    Err(e) => {
        error!("Failed to parse flatzinc statement:\n{}", e);
    }
}

fz-parser

一个示例解析器可以在examples/fz-parser.rs中找到。

要运行解析器，请调用

❯ cargo run --example fz-parser -- -i jobshop.fzn

二进制文件可以在target/release/examples/fz-parser下找到。

常见问题解答

• 如何从minizinc创建flatzinc？