ena 0.14.3

Union-find, congruence closure, and other unification code. Based on code from rustc.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

language: rust
rust:
  - stable
  - nightly
script:
  - |
    if [[ $TRAVIS_RUST_VERSION == *stable* ]]
    then
      rustup component add rustfmt
      cargo fmt --version
      cargo fmt -- --check || (echo "Please reformat your code with 'cargo fmt' (version $(cargo fmt --version))"; false)
    fi
  - cargo test
  - |
    [ $TRAVIS_RUST_VERSION != nightly ] ||
    cargo test --all-features