create cmake project to build the tool

AUTHORS.md

CMakeLists.txt

Causality/main.cpp

Causality/src/bddio.c

Causality/src/bddio.o

Causality/src/bddop.o

Causality/src/bvec.c

Causality/src/bvec.o

Causality/src/cache.c

Causality/src/cache.h

Causality/src/cache.o

Causality/src/cppext.cxx

Causality/src/cppext.o

Causality/src/depend.inf

Causality/src/fdd.h

Causality/src/fdd.o

Causality/src/imatrix.o

Causality/src/kernel.h

Causality/src/kernel.o

Causality/src/libbdd.a