First public release of the mincoverpetri code

.gitignore

CMakeLists.txt

docker/dockerfile

license_gpl_v3

readme.md

src/developer_documentation.dox

src/main.cpp

src/main.hpp

src/marking.cpp

src/marking.hpp

src/markingscollection.cpp

src/markingscollection.hpp

src/mincoversetcomputer.cpp

src/mincoversetcomputer.hpp

src/node.cpp

src/node.hpp

src/orderedtuples.cpp

src/orderedtuples.hpp

src/petrinet.cpp

src/petrinet.hpp