language: c
compiler:
  - gcc
  - clang
script: make all && make check
language: c
compiler:
  - gcc

install:
  - ./get-deps.sh
  - make cudd
script:
  - make all
  - make check

Adjust Travis CI config to use get-deps.sh and `make cudd`
BUILD: Adjust Travis CI config to use get-deps.sh and `make cudd`
