clingo-rs

Rust bindings to the clingo library

Compile & Test

cargo build
cargo test
cargo run --example=version
cargo run --example=symbol 0
cargo run --example=control 0
cargo run --example=model 0
cargo run --example=configuration
cargo run --example=statistics 0
cargo run --example=symbolic-atoms 0
cargo run --example=theory-atoms 0
cargo run --example=backend 0

Contribution

Any contribution intentionally submitted for inclusion in the work by you, shall be licensed under the terms of the MIT license without any additional terms or conditions.