MANIFEST.in
libmata.cpp
libmata.pxd
libmata.pyx
pyproject.toml
setup.py
/home/runner/work/mata/mata/3rdparty/cudd-min/bnet.c
/home/runner/work/mata/mata/3rdparty/cudd-min/chkMterm.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cpu_stats.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cpu_time.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cstringstream.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddAPI.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddAddAbs.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddAddApply.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddAddFind.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddAddInv.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddAddIte.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddAddNeg.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddAddWalsh.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddAndAbs.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddAnneal.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddApa.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddApprox.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddBddAbs.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddBddCorr.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddBddIte.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddBridge.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddCache.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddCheck.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddClip.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddCof.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddCompose.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddDecomp.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddEssent.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddExact.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddExport.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddGenCof.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddGenetic.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddGroup.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddHarwell.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddInit.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddInteract.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddLCache.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddLevelQ.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddLinear.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddLiteral.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddMatMult.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddObj.cc
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddPriority.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddRead.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddRef.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddReorder.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddSat.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddSign.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddSolve.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddSplit.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddSubsetHB.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddSubsetSP.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddSymmetry.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddTable.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddUtil.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddWindow.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddZddCount.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddZddFuncs.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddZddGroup.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddZddIsop.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddZddLin.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddZddMisc.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddZddPort.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddZddReord.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddZddSetop.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddZddSymm.c
/home/runner/work/mata/mata/3rdparty/cudd-min/cuddZddUtil.c
/home/runner/work/mata/mata/3rdparty/cudd-min/datalimit.c
/home/runner/work/mata/mata/3rdparty/cudd-min/dddmpBinary.c
/home/runner/work/mata/mata/3rdparty/cudd-min/dddmpConvert.c
/home/runner/work/mata/mata/3rdparty/cudd-min/dddmpDbg.c
/home/runner/work/mata/mata/3rdparty/cudd-min/dddmpLoad.c
/home/runner/work/mata/mata/3rdparty/cudd-min/dddmpLoadCnf.c
/home/runner/work/mata/mata/3rdparty/cudd-min/dddmpNodeAdd.c
/home/runner/work/mata/mata/3rdparty/cudd-min/dddmpNodeBdd.c
/home/runner/work/mata/mata/3rdparty/cudd-min/dddmpNodeCnf.c
/home/runner/work/mata/mata/3rdparty/cudd-min/dddmpStoreAdd.c
/home/runner/work/mata/mata/3rdparty/cudd-min/dddmpStoreBdd.c
/home/runner/work/mata/mata/3rdparty/cudd-min/dddmpStoreCnf.c
/home/runner/work/mata/mata/3rdparty/cudd-min/dddmpStoreMisc.c
/home/runner/work/mata/mata/3rdparty/cudd-min/dddmpUtil.c
/home/runner/work/mata/mata/3rdparty/cudd-min/epd.c
/home/runner/work/mata/mata/3rdparty/cudd-min/main.c
/home/runner/work/mata/mata/3rdparty/cudd-min/mtrBasic.c
/home/runner/work/mata/mata/3rdparty/cudd-min/mtrGroup.c
/home/runner/work/mata/mata/3rdparty/cudd-min/ntr.c
/home/runner/work/mata/mata/3rdparty/cudd-min/ntrBddTest.c
/home/runner/work/mata/mata/3rdparty/cudd-min/ntrHeap.c
/home/runner/work/mata/mata/3rdparty/cudd-min/ntrMflow.c
/home/runner/work/mata/mata/3rdparty/cudd-min/ntrShort.c
/home/runner/work/mata/mata/3rdparty/cudd-min/ntrZddTest.c
/home/runner/work/mata/mata/3rdparty/cudd-min/pathsearch.c
/home/runner/work/mata/mata/3rdparty/cudd-min/pipefork.c
/home/runner/work/mata/mata/3rdparty/cudd-min/prtime.c
/home/runner/work/mata/mata/3rdparty/cudd-min/safe_mem.c
/home/runner/work/mata/mata/3rdparty/cudd-min/st.c
/home/runner/work/mata/mata/3rdparty/cudd-min/strsav.c
/home/runner/work/mata/mata/3rdparty/cudd-min/texpand.c
/home/runner/work/mata/mata/3rdparty/cudd-min/ucbqsort.c
/home/runner/work/mata/mata/3rdparty/re2/re2/compile.cc
/home/runner/work/mata/mata/3rdparty/re2/re2/parse.cc
/home/runner/work/mata/mata/3rdparty/re2/re2/perl_groups.cc
/home/runner/work/mata/mata/3rdparty/re2/re2/prog.cc
/home/runner/work/mata/mata/3rdparty/re2/re2/re2.cc
/home/runner/work/mata/mata/3rdparty/re2/re2/regexp.cc
/home/runner/work/mata/mata/3rdparty/re2/re2/simplify.cc
/home/runner/work/mata/mata/3rdparty/re2/re2/stringpiece.cc
/home/runner/work/mata/mata/3rdparty/re2/re2/tostring.cc
/home/runner/work/mata/mata/3rdparty/re2/re2/unicode_casefold.cc
/home/runner/work/mata/mata/3rdparty/re2/re2/unicode_groups.cc
/home/runner/work/mata/mata/3rdparty/re2/util/rune.cc
/home/runner/work/mata/mata/3rdparty/re2/util/strutil.cc
/home/runner/work/mata/mata/3rdparty/simlib/src/explicit_lts_sim.cc
/home/runner/work/mata/mata/src/alphabet.cc
/home/runner/work/mata/mata/src/config.cc
/home/runner/work/mata/mata/src/inter-aut.cc
/home/runner/work/mata/mata/src/mintermization.cc
/home/runner/work/mata/mata/src/parser.cc
/home/runner/work/mata/mata/src/re2parser.cc
/home/runner/work/mata/mata/src/afa/afa.cc
/home/runner/work/mata/mata/src/nfa/nfa-complement.cc
/home/runner/work/mata/mata/src/nfa/nfa-concatenation.cc
/home/runner/work/mata/mata/src/nfa/nfa-inclusion.cc
/home/runner/work/mata/mata/src/nfa/nfa-intersection.cc
/home/runner/work/mata/mata/src/nfa/nfa-universal.cc
/home/runner/work/mata/mata/src/nfa/nfa.cc
/home/runner/work/mata/mata/src/rra/rrt.cc
/home/runner/work/mata/mata/src/strings/nfa-noodlification.cc
/home/runner/work/mata/mata/src/strings/nfa-segmentation.cc
/home/runner/work/mata/mata/src/strings/nfa-strings.cc
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