modified:   CMakeLists.txt
	modified:   src/CMakeLists.txt
	modified:   src/CommonSOG.cpp
	modified:   src/CommonSOG.h
	modified:   src/HybridKripke.cpp
	modified:   src/HybridKripkeIterator.cpp
	modified:   src/HybridKripkeState.h
	modified:   src/MCHybridSOG.cpp
	modified:   src/ModelCheckerTh.cpp
	modified:   src/ModelCheckerTh.h
	modified:   src/ModelCheckerThV2.cpp
	modified:   src/ModelCheckerThV2.h
	modified:   src/SogKripkeIteratorTh.cpp
	modified:   src/SogKripkeTh.cpp
	new file:   src/SylvanWrapper.cpp
	new file:   src/SylvanWrapper.h
	modified:   src/main.cpp
	modified:   third-party/sylvan