POR is implemented with distributed construction

README.md

src/CMakeLists.txt

src/CommonSOG.cpp

src/CommonSOG.h

src/Hybrid/HybridKripkeIterator.cpp

src/Hybrid/MCHybrid/MCHybridSOG.cpp

src/Hybrid/MCHybrid/MCHybridSOG.h

src/Hybrid/MCHybridPOR/MCHybridSOGPOR.cpp

src/Hybrid/MCHybridPOR/MCHybridSOGPOR.h

src/Hybrid/MCHybridReq/MCHybridSOGReq.cpp

src/Hybrid/MCHybridReq/MCHybridSOGReq.h

src/Hybrid/MCHybridReqPOR/MCHybridSOGReqPOR.cpp

src/Hybrid/MCHybridReqPOR/MCHybridSOGReqPOR.h

src/HybridSOG.cpp

src/LDDGraph.cpp

src/LDDGraph.h

src/LDDState.cpp

src/NewNet.cpp

src/NewNet.h

src/RdPBDD.cpp