symbolic-mgu 0.1.0-alpha.14

Symbolic logic unification using Most General Unifiers (MGU). Implements Meredith's condensed detachment for automated theorem proving.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13

//! Set flag if this is a nightly release

fn main() {
    // Tell cargo about the cfg we're using
    println!("cargo::rustc-check-cfg=cfg(nightly)");

    // Check if we're using nightly
    let is_nightly = version_check::is_feature_flaggable().unwrap_or(false);

    if is_nightly {
        println!("cargo:rustc-cfg=nightly");
    }
}