flatzinc parser

A parser for the FlatZinc modelling language.

Compile

text ❯ cargo build --release

Usage

rust match flatzinc::model::<VerboseError<&str>>(&buf) { Ok((_, result)) => println!("{:#?}", result), Err(Err::Error(e)) | Err(Err::Failure(e)) => { println!("Failed to parse flatzinc!\n{}", convert_error(&buf, e)) } Err(e) => println!("Failed to parse flatzinc: {:?}", e), }

fz-parser

An example parser can be found in the examples/fz-parser.rs

To run the parser call:

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

The binary can be found under target/release/examples/fz-parser

Other

• Where is mzn2fzn?