add bdd libs
bdd
comment in vis
modify buddy-2.4/src/{bddop.c,bdd.h}
build
Merge branch 'master' of github.com:skcho/zooberry