CMakeLists.txt
LICENSE.txt
MANIFEST.in
README.md
setup.cfg
setup.py
Graphillion.egg-info/PKG-INFO
Graphillion.egg-info/SOURCES.txt
Graphillion.egg-info/dependency_links.txt
Graphillion.egg-info/requires.txt
Graphillion.egg-info/top_level.txt
doc/fig1.png
doc/fig10.png
doc/fig2.png
doc/fig3.png
doc/fig4.png
doc/fig5.png
doc/fig6.png
doc/fig7.png
doc/fig8.png
doc/fig9.png
graphillion/__init__.py
graphillion/graphset.py
graphillion/release.py
graphillion/setset.py
graphillion/tutorial.py
graphillion/test/__init__.py
graphillion/test/__init__.pyc
graphillion/test/graphset.py
graphillion/test/graphset.pyc
graphillion/test/setset.py
graphillion/test/setset.pyc
graphillion/test/tutorial.py
graphillion/test/tutorial.pyc
graphillion/test/__pycache__/__init__.cpython-35.pyc
graphillion/test/__pycache__/__init__.cpython-36.pyc
graphillion/test/__pycache__/__init__.cpython-37.pyc
graphillion/test/__pycache__/__init__.cpython-38.pyc
graphillion/test/__pycache__/__init__.cpython-39.pyc
graphillion/test/__pycache__/graphset.cpython-35.pyc
graphillion/test/__pycache__/graphset.cpython-36.pyc
graphillion/test/__pycache__/graphset.cpython-37.pyc
graphillion/test/__pycache__/graphset.cpython-38.pyc
graphillion/test/__pycache__/graphset.cpython-39.pyc
graphillion/test/__pycache__/setset.cpython-35.pyc
graphillion/test/__pycache__/setset.cpython-36.pyc
graphillion/test/__pycache__/setset.cpython-37.pyc
graphillion/test/__pycache__/setset.cpython-38.pyc
graphillion/test/__pycache__/setset.cpython-39.pyc
graphillion/test/__pycache__/tutorial.cpython-35.pyc
graphillion/test/__pycache__/tutorial.cpython-36.pyc
graphillion/test/__pycache__/tutorial.cpython-37.pyc
graphillion/test/__pycache__/tutorial.cpython-38.pyc
graphillion/test/__pycache__/tutorial.cpython-39.pyc
src/CMakeLists.txt
src/GPATH
src/GRTAGS
src/GTAGS
src/pollyfill.h
src/py3c.h
src/pygraphillion.cc
src/pygraphillion.h
src/SAPPOROBDD/BDD.cc
src/SAPPOROBDD/BDD.h
src/SAPPOROBDD/ZBDD.cc
src/SAPPOROBDD/ZBDD.h
src/SAPPOROBDD/bddc.c
src/SAPPOROBDD/bddc.h
src/graphillion/graphset.cc
src/graphillion/graphset.h
src/graphillion/setset.cc
src/graphillion/setset.h
src/graphillion/type.h
src/graphillion/util.cc
src/graphillion/util.h
src/graphillion/zdd.cc
src/graphillion/zdd.h
src/mingw32/LICENSE
src/mingw32/RpWinResource.c
src/mingw32/RpWinResource.h
src/mingw32/strtok_r.hpp
src/py3c/capsulethunk.h
src/py3c/comparison.h
src/py3c/compat.h
src/py3c/fileshim.h
src/py3c/tpflags.h
src/subsetting/DdEval.hpp
src/subsetting/DdSpec.hpp
src/subsetting/DdSpecOp.hpp
src/subsetting/DdStructure.hpp
src/subsetting/dd/DataTable.hpp
src/subsetting/dd/DdBuilder.hpp
src/subsetting/dd/DdReducer.hpp
src/subsetting/dd/DdSweeper.hpp
src/subsetting/dd/DepthFirstSearcher.hpp
src/subsetting/dd/Node.hpp
src/subsetting/dd/NodeTable.hpp
src/subsetting/dd/PathCounter.hpp
src/subsetting/eval/Cardinality.hpp
src/subsetting/eval/ToZBDD.hpp
src/subsetting/op/BinaryOperation.hpp
src/subsetting/op/Lookahead.hpp
src/subsetting/op/Unreduction.hpp
src/subsetting/spec/DegreeConstraint.hpp
src/subsetting/spec/FrontierBasedSearch.hpp
src/subsetting/spec/LinearConstraints.hpp
src/subsetting/spec/SapporoZdd.hpp
src/subsetting/spec/SizeConstraint.hpp
src/subsetting/util/BigNumber.hpp
src/subsetting/util/Graph.hpp
src/subsetting/util/IntSubset.hpp
src/subsetting/util/MemoryPool.hpp
src/subsetting/util/MessageHandler.hpp
src/subsetting/util/MyHashTable.hpp
src/subsetting/util/MyList.hpp
src/subsetting/util/MySet.hpp
src/subsetting/util/MyVector.hpp
src/subsetting/util/ResourceUsage.hpp
src/subsetting/util/demangle.hpp
src/test/graphset.cc
src/test/setset.cc