MANIFEST.in
README.md
pyproject.toml
setup.py
libmata/__init__.py
libmata/alphabets.cpp
libmata/alphabets.pxd
libmata/alphabets.pyi
libmata/alphabets.pyx
libmata/parser.cpp
libmata/parser.pxd
libmata/parser.pyi
libmata/parser.pyx
libmata/plotting.cpp
libmata/plotting.pyi
libmata/plotting.pyx
libmata/py.typed
libmata/utils.cpp
libmata/utils.pxd
libmata/utils.pyi
libmata/utils.pyx
libmata.egg-info/PKG-INFO
libmata.egg-info/SOURCES.txt
libmata.egg-info/dependency_links.txt
libmata.egg-info/requires.txt
libmata.egg-info/top_level.txt
libmata/nfa/__init__.py
libmata/nfa/nfa.cpp
libmata/nfa/nfa.pxd
libmata/nfa/nfa.pyi
libmata/nfa/nfa.pyx
libmata/nfa/strings.cpp
libmata/nfa/strings.pxd
libmata/nfa/strings.pyi
libmata/nfa/strings.pyx
mata/CMakeLists.txt
mata/Doxyfile.in
mata/LICENSE
mata/Makefile
mata/README.md
mata/VERSION
mata/cmake_uninstall.cmake.in
mata/3rdparty/cudd/CMakeLists.txt
mata/3rdparty/cudd/Doxyfile.in
mata/3rdparty/cudd/LICENSE
mata/3rdparty/cudd/README
mata/3rdparty/cudd/RELEASE.NOTES
mata/3rdparty/cudd/cudd_config.h.in
mata/3rdparty/cudd/groups.dox
mata/3rdparty/cudd/cplusplus/cuddObj.cc
mata/3rdparty/cudd/cplusplus/test_obj.test.in
mata/3rdparty/cudd/cplusplus/testmulti.cc
mata/3rdparty/cudd/cplusplus/testobj.cc
mata/3rdparty/cudd/cudd/cuddAPI.c
mata/3rdparty/cudd/cudd/cuddAddAbs.c
mata/3rdparty/cudd/cudd/cuddAddApply.c
mata/3rdparty/cudd/cudd/cuddAddFind.c
mata/3rdparty/cudd/cudd/cuddAddInv.c
mata/3rdparty/cudd/cudd/cuddAddIte.c
mata/3rdparty/cudd/cudd/cuddAddNeg.c
mata/3rdparty/cudd/cudd/cuddAddWalsh.c
mata/3rdparty/cudd/cudd/cuddAndAbs.c
mata/3rdparty/cudd/cudd/cuddAnneal.c
mata/3rdparty/cudd/cudd/cuddApa.c
mata/3rdparty/cudd/cudd/cuddApprox.c
mata/3rdparty/cudd/cudd/cuddBddAbs.c
mata/3rdparty/cudd/cudd/cuddBddCorr.c
mata/3rdparty/cudd/cudd/cuddBddIte.c
mata/3rdparty/cudd/cudd/cuddBridge.c
mata/3rdparty/cudd/cudd/cuddCache.c
mata/3rdparty/cudd/cudd/cuddCheck.c
mata/3rdparty/cudd/cudd/cuddClip.c
mata/3rdparty/cudd/cudd/cuddCof.c
mata/3rdparty/cudd/cudd/cuddCompose.c
mata/3rdparty/cudd/cudd/cuddDecomp.c
mata/3rdparty/cudd/cudd/cuddEssent.c
mata/3rdparty/cudd/cudd/cuddExact.c
mata/3rdparty/cudd/cudd/cuddExport.c
mata/3rdparty/cudd/cudd/cuddGenCof.c
mata/3rdparty/cudd/cudd/cuddGenetic.c
mata/3rdparty/cudd/cudd/cuddGroup.c
mata/3rdparty/cudd/cudd/cuddHarwell.c
mata/3rdparty/cudd/cudd/cuddInit.c
mata/3rdparty/cudd/cudd/cuddInt.h
mata/3rdparty/cudd/cudd/cuddInteract.c
mata/3rdparty/cudd/cudd/cuddLCache.c
mata/3rdparty/cudd/cudd/cuddLevelQ.c
mata/3rdparty/cudd/cudd/cuddLinear.c
mata/3rdparty/cudd/cudd/cuddLiteral.c
mata/3rdparty/cudd/cudd/cuddMatMult.c
mata/3rdparty/cudd/cudd/cuddPriority.c
mata/3rdparty/cudd/cudd/cuddRead.c
mata/3rdparty/cudd/cudd/cuddRef.c
mata/3rdparty/cudd/cudd/cuddReorder.c
mata/3rdparty/cudd/cudd/cuddSat.c
mata/3rdparty/cudd/cudd/cuddSign.c
mata/3rdparty/cudd/cudd/cuddSolve.c
mata/3rdparty/cudd/cudd/cuddSplit.c
mata/3rdparty/cudd/cudd/cuddSubsetHB.c
mata/3rdparty/cudd/cudd/cuddSubsetSP.c
mata/3rdparty/cudd/cudd/cuddSymmetry.c
mata/3rdparty/cudd/cudd/cuddTable.c
mata/3rdparty/cudd/cudd/cuddUtil.c
mata/3rdparty/cudd/cudd/cuddWindow.c
mata/3rdparty/cudd/cudd/cuddZddCount.c
mata/3rdparty/cudd/cudd/cuddZddFuncs.c
mata/3rdparty/cudd/cudd/cuddZddGroup.c
mata/3rdparty/cudd/cudd/cuddZddIsop.c
mata/3rdparty/cudd/cudd/cuddZddLin.c
mata/3rdparty/cudd/cudd/cuddZddMisc.c
mata/3rdparty/cudd/cudd/cuddZddPort.c
mata/3rdparty/cudd/cudd/cuddZddReord.c
mata/3rdparty/cudd/cudd/cuddZddSetop.c
mata/3rdparty/cudd/cudd/cuddZddSymm.c
mata/3rdparty/cudd/cudd/cuddZddUtil.c
mata/3rdparty/cudd/cudd/r7x8.1.mat
mata/3rdparty/cudd/cudd/test_cudd.test.in
mata/3rdparty/cudd/cudd/testcudd.c
mata/3rdparty/cudd/cudd/testextra.c
mata/3rdparty/cudd/dddmp/README.dddmp
mata/3rdparty/cudd/dddmp/README.testdddmp
mata/3rdparty/cudd/dddmp/RELEASE_NOTES
mata/3rdparty/cudd/dddmp/dddmp.h
mata/3rdparty/cudd/dddmp/dddmpBinary.c
mata/3rdparty/cudd/dddmp/dddmpConvert.c
mata/3rdparty/cudd/dddmp/dddmpDbg.c
mata/3rdparty/cudd/dddmp/dddmpInt.h
mata/3rdparty/cudd/dddmp/dddmpLoad.c
mata/3rdparty/cudd/dddmp/dddmpLoadCnf.c
mata/3rdparty/cudd/dddmp/dddmpNodeAdd.c
mata/3rdparty/cudd/dddmp/dddmpNodeBdd.c
mata/3rdparty/cudd/dddmp/dddmpNodeCnf.c
mata/3rdparty/cudd/dddmp/dddmpStoreAdd.c
mata/3rdparty/cudd/dddmp/dddmpStoreBdd.c
mata/3rdparty/cudd/dddmp/dddmpStoreCnf.c
mata/3rdparty/cudd/dddmp/dddmpStoreMisc.c
mata/3rdparty/cudd/dddmp/dddmpUtil.c
mata/3rdparty/cudd/dddmp/test_dddmp.test.in
mata/3rdparty/cudd/dddmp/testdddmp.c
mata/3rdparty/cudd/dddmp/doc/cmdIndex.html
mata/3rdparty/cudd/dddmp/doc/commands.html
mata/3rdparty/cudd/dddmp/doc/credit.html
mata/3rdparty/cudd/dddmp/doc/dddmp-2.0-A4.ps
mata/3rdparty/cudd/dddmp/doc/dddmp-2.0-Letter.ps
mata/3rdparty/cudd/dddmp/doc/dddmpAllAbs.html
mata/3rdparty/cudd/dddmp/doc/dddmpAllByFile.html
mata/3rdparty/cudd/dddmp/doc/dddmpAllByFunc.html
mata/3rdparty/cudd/dddmp/doc/dddmpAllDet.html
mata/3rdparty/cudd/dddmp/doc/dddmpAllFile.html
mata/3rdparty/cudd/dddmp/doc/dddmpDesc.html
mata/3rdparty/cudd/dddmp/doc/dddmpDoc.txt
mata/3rdparty/cudd/dddmp/doc/dddmpExt.html
mata/3rdparty/cudd/dddmp/doc/dddmpExtAbs.html
mata/3rdparty/cudd/dddmp/doc/dddmpExtDet.html
mata/3rdparty/cudd/dddmp/doc/dddmpTitle.html
mata/3rdparty/cudd/dddmp/doc/packages.html
mata/3rdparty/cudd/dddmp/doc/pkgIndex.html
mata/3rdparty/cudd/dddmp/exp/0.add
mata/3rdparty/cudd/dddmp/exp/0.bdd
mata/3rdparty/cudd/dddmp/exp/0or1.bdd
mata/3rdparty/cudd/dddmp/exp/1.add
mata/3rdparty/cudd/dddmp/exp/1.bdd
mata/3rdparty/cudd/dddmp/exp/2.bdd
mata/3rdparty/cudd/dddmp/exp/2and3.bdd
mata/3rdparty/cudd/dddmp/exp/3.bdd
mata/3rdparty/cudd/dddmp/exp/4.bdd
mata/3rdparty/cudd/dddmp/exp/4.bdd.bis1
mata/3rdparty/cudd/dddmp/exp/4.bdd.bis2
mata/3rdparty/cudd/dddmp/exp/4.bdd.bis3
mata/3rdparty/cudd/dddmp/exp/4.bdd.bis4
mata/3rdparty/cudd/dddmp/exp/4.cnf
mata/3rdparty/cudd/dddmp/exp/4.cnf.bis
mata/3rdparty/cudd/dddmp/exp/4.max1
mata/3rdparty/cudd/dddmp/exp/4.max2
mata/3rdparty/cudd/dddmp/exp/4bis.bdd
mata/3rdparty/cudd/dddmp/exp/4xor5.bdd
mata/3rdparty/cudd/dddmp/exp/5.bdd
mata/3rdparty/cudd/dddmp/exp/composeids.txt
mata/3rdparty/cudd/dddmp/exp/one.bdd
mata/3rdparty/cudd/dddmp/exp/s27RP1.bdd
mata/3rdparty/cudd/dddmp/exp/s27deltaDddmp1.bdd
mata/3rdparty/cudd/dddmp/exp/s27deltaDddmp1.bdd.bis
mata/3rdparty/cudd/dddmp/exp/s27deltaDddmp2.bdd
mata/3rdparty/cudd/dddmp/exp/varauxids.ord
mata/3rdparty/cudd/dddmp/exp/varnames.ord
mata/3rdparty/cudd/dddmp/exp/zero.bdd
mata/3rdparty/cudd/doc/cudd.tex.in
mata/3rdparty/cudd/doc/phase.pdf
mata/3rdparty/cudd/epd/epd.c
mata/3rdparty/cudd/epd/epd.h
mata/3rdparty/cudd/epd/epdInt.h
mata/3rdparty/cudd/include/mata/cudd/cudd.h
mata/3rdparty/cudd/include/mata/cudd/cuddObj.hh
mata/3rdparty/cudd/mtr/mtr.h
mata/3rdparty/cudd/mtr/mtrBasic.c
mata/3rdparty/cudd/mtr/mtrGroup.c
mata/3rdparty/cudd/mtr/mtrInt.h
mata/3rdparty/cudd/mtr/test.groups
mata/3rdparty/cudd/mtr/test_mtr.test.in
mata/3rdparty/cudd/mtr/testmtr.c
mata/3rdparty/cudd/st/st.c
mata/3rdparty/cudd/st/st.h
mata/3rdparty/cudd/st/test_st.test.in
mata/3rdparty/cudd/st/testst.c
mata/3rdparty/cudd/util/cpu_stats.c
mata/3rdparty/cudd/util/cpu_time.c
mata/3rdparty/cudd/util/cstringstream.c
mata/3rdparty/cudd/util/cstringstream.h
mata/3rdparty/cudd/util/datalimit.c
mata/3rdparty/cudd/util/pathsearch.c
mata/3rdparty/cudd/util/pipefork.c
mata/3rdparty/cudd/util/prtime.c
mata/3rdparty/cudd/util/safe_mem.c
mata/3rdparty/cudd/util/strsav.c
mata/3rdparty/cudd/util/texpand.c
mata/3rdparty/cudd/util/ucbqsort.c
mata/3rdparty/cudd/util/util.h
mata/3rdparty/re2/AUTHORS
mata/3rdparty/re2/CMakeLists.txt
mata/3rdparty/re2/CONTRIBUTORS
mata/3rdparty/re2/LICENSE
mata/3rdparty/re2/re2/bitmap256.h
mata/3rdparty/re2/re2/compile.cc
mata/3rdparty/re2/re2/parse.cc
mata/3rdparty/re2/re2/perl_groups.cc
mata/3rdparty/re2/re2/pod_array.h
mata/3rdparty/re2/re2/prog.cc
mata/3rdparty/re2/re2/prog.h
mata/3rdparty/re2/re2/re2.cc
mata/3rdparty/re2/re2/re2.h
mata/3rdparty/re2/re2/regexp.cc
mata/3rdparty/re2/re2/regexp.h
mata/3rdparty/re2/re2/simplify.cc
mata/3rdparty/re2/re2/sparse_array.h
mata/3rdparty/re2/re2/sparse_set.h
mata/3rdparty/re2/re2/stringpiece.cc
mata/3rdparty/re2/re2/stringpiece.h
mata/3rdparty/re2/re2/tostring.cc
mata/3rdparty/re2/re2/unicode_casefold.cc
mata/3rdparty/re2/re2/unicode_casefold.h
mata/3rdparty/re2/re2/unicode_groups.cc
mata/3rdparty/re2/re2/unicode_groups.h
mata/3rdparty/re2/re2/walker-inl.h
mata/3rdparty/re2/util/logging.h
mata/3rdparty/re2/util/mutex.h
mata/3rdparty/re2/util/rune.cc
mata/3rdparty/re2/util/strutil.cc
mata/3rdparty/re2/util/strutil.h
mata/3rdparty/re2/util/utf.h
mata/3rdparty/re2/util/util.h
mata/3rdparty/simlib/CMakeLists.txt
mata/3rdparty/simlib/include/mata/simlib/explicit_lts.hh
mata/3rdparty/simlib/include/mata/simlib/util/abstract_transl.hh
mata/3rdparty/simlib/include/mata/simlib/util/binary_relation.hh
mata/3rdparty/simlib/include/mata/simlib/util/caching_allocator.hh
mata/3rdparty/simlib/include/mata/simlib/util/convert.hh
mata/3rdparty/simlib/include/mata/simlib/util/shared_counter.hh
mata/3rdparty/simlib/include/mata/simlib/util/shared_list.hh
mata/3rdparty/simlib/include/mata/simlib/util/simlib.hh
mata/3rdparty/simlib/include/mata/simlib/util/smart_set.hh
mata/3rdparty/simlib/include/mata/simlib/util/splitting_relation.hh
mata/3rdparty/simlib/include/mata/simlib/util/transl_weak.hh
mata/3rdparty/simlib/include/mata/simlib/util/two_way_dict.hh
mata/3rdparty/simlib/src/explicit_lts_sim.cc
mata/cmake/GetGitRevisionDescription.cmake
mata/cmake/GetGitRevisionDescription.cmake.in
mata/cmake/mataConfig.cmake.in
mata/include/mata/alphabet.hh
mata/include/mata/applications/strings.hh
mata/include/mata/nfa/algorithms.hh
mata/include/mata/nfa/builder.hh
mata/include/mata/nfa/delta.hh
mata/include/mata/nfa/nfa.hh
mata/include/mata/nfa/plumbing.hh
mata/include/mata/nfa/types.hh
mata/include/mata/nft/algorithms.hh
mata/include/mata/nft/builder.hh
mata/include/mata/nft/delta.hh
mata/include/mata/nft/nft.hh
mata/include/mata/nft/plumbing.hh
mata/include/mata/nft/types.hh
mata/include/mata/parser/inter-aut.hh
mata/include/mata/parser/mintermization.hh
mata/include/mata/parser/parser.hh
mata/include/mata/parser/re2parser.hh
mata/include/mata/utils/closed-set.hh
mata/include/mata/utils/ord-vector.hh
mata/include/mata/utils/sparse-set.hh
mata/include/mata/utils/synchronized-iterator.hh
mata/include/mata/utils/two-dimensional-map.hh
mata/include/mata/utils/utils.hh
mata/src/CMakeLists.txt
mata/src/Makefile
mata/src/alphabet.cc
mata/src/config.cc.in
mata/src/inter-aut.cc
mata/src/mintermization.cc
mata/src/parser.cc
mata/src/re2parser.cc
mata/src/applications/strings/noodlification.cc
mata/src/applications/strings/replace.cc
mata/src/applications/strings/segmentation.cc
mata/src/applications/strings/strings.cc
mata/src/nfa/builder.cc
mata/src/nfa/complement.cc
mata/src/nfa/concatenation.cc
mata/src/nfa/delta.cc
mata/src/nfa/inclusion.cc
mata/src/nfa/nfa.cc
mata/src/nfa/operations.cc
mata/src/nfa/product.cc
mata/src/nfa/universal.cc
mata/src/nft/builder.cc
mata/src/nft/complement.cc
mata/src/nft/composition.cc
mata/src/nft/concatenation.cc
mata/src/nft/inclusion.cc
mata/src/nft/intersection.cc
mata/src/nft/nft.cc
mata/src/nft/operations.cc
mata/src/nft/universal.cc
tests/test_alphabets.py
tests/test_nfa.py
tests/test_regex.py
tests/test_trans.py
tests/test_visualization.py