clingo 0.6.0

Rust idiomatic bindings to the clingo library
Documentation 
1
2
3
4
5
6
7
8
9
10
11

use clingo::*;

fn main() {
    let sym = Symbol::create_id("test", true).unwrap();
    let term1 = ast::Term::from(sym);
    let term2 = ast::Term::from(sym);
    let op = ast::BinaryOperation::xor(term1, term2);
    let term3 = ast::Term::from(&op);
    drop(op);
    let _end = term3;
}