language: c
compiler:
  - gcc
  - clang

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

notifications:
  email: false
sudo: false

language: c
compiler:
  - gcc
  - clang

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

notifications:
  email: false
Facilitate using containers for CI
TEST: Facilitate using containers for CI
