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/graphclass.py
graphillion/graphset.py
graphillion/release.py
graphillion/setset.py
graphillion/tutorial.py
graphillion/vertex_setset.py
graphillion/test/__init__.py
graphillion/test/graphset.py
graphillion/test/setset.py
graphillion/test/tutorial.py
graphillion/test/vertex_setset.py
graphillion/test/__pycache__/__init__.cpython-310.pyc
graphillion/test/__pycache__/__init__.cpython-311.pyc
graphillion/test/__pycache__/__init__.cpython-312.pyc
graphillion/test/__pycache__/__init__.cpython-36.pyc
graphillion/test/__pycache__/__init__.cpython-38.pyc
graphillion/test/__pycache__/graphset.cpython-310.pyc
graphillion/test/__pycache__/graphset.cpython-311.pyc
graphillion/test/__pycache__/graphset.cpython-312.pyc
graphillion/test/__pycache__/graphset.cpython-36.pyc
graphillion/test/__pycache__/graphset.cpython-38.pyc
graphillion/test/__pycache__/setset.cpython-310.pyc
graphillion/test/__pycache__/setset.cpython-311.pyc
graphillion/test/__pycache__/setset.cpython-312.pyc
graphillion/test/__pycache__/setset.cpython-36.pyc
graphillion/test/__pycache__/setset.cpython-38.pyc
graphillion/test/__pycache__/tutorial.cpython-310.pyc
graphillion/test/__pycache__/tutorial.cpython-311.pyc
graphillion/test/__pycache__/tutorial.cpython-312.pyc
graphillion/test/__pycache__/tutorial.cpython-36.pyc
graphillion/test/__pycache__/tutorial.cpython-38.pyc
graphillion/test/__pycache__/vertex_setset.cpython-310.pyc
graphillion/test/__pycache__/vertex_setset.cpython-311.pyc
graphillion/test/__pycache__/vertex_setset.cpython-312.pyc
graphillion/test/__pycache__/vertex_setset.cpython-36.pyc
graphillion/test/__pycache__/vertex_setset.cpython-38.pyc
src/CMakeLists.txt
src/pollyfill.h
src/py3c.h
src/pygraphillion - コピー.cc
src/pygraphillion.cc
src/pygraphillion.cc.bak
src/pygraphillion.h
src/SAPPOROBDD/BDD.cc
src/SAPPOROBDD/BDD.h
src/SAPPOROBDD/BDDCT.cc
src/SAPPOROBDD/BDDCT.h
src/SAPPOROBDD/ZBDD.cc
src/SAPPOROBDD/ZBDD.h
src/SAPPOROBDD/bddc.cc
src/SAPPOROBDD/bddc.h
src/SAPPOROBDD/translate_to_cpp.py
src/graphillion/convert_weight_list.h
src/graphillion/graphset.cc
src/graphillion/graphset.h
src/graphillion/reconf.cc
src/graphillion/reconf.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/graphillion/chordal/FrontierSingleCycle.h
src/graphillion/chordal/SBDD_helper.h
src/graphillion/chordal/chordal.cc
src/graphillion/chordal/chordal.h
src/graphillion/degree_distribution/DegreeDistributionGraphs.cc
src/graphillion/degree_distribution/DegreeDistributionGraphs.h
src/graphillion/degree_distribution/DegreeDistributionSpec.h
src/graphillion/forbidden_induced/ForbiddenInducedSubgraphs.cc
src/graphillion/forbidden_induced/ForbiddenInducedSubgraphs.h
src/graphillion/forbidden_induced/FrontierManager.h
src/graphillion/forbidden_induced/InducingColoringSpec.h
src/graphillion/forbidden_induced/InducingDecoloringEval.h
src/graphillion/induced_graphs/ComponentWeightInducedSpec.h
src/graphillion/induced_graphs/ConnectedInducedSubgraphSpec.h
src/graphillion/induced_graphs/InducedGraphs.cc
src/graphillion/induced_graphs/InducedGraphs.h
src/graphillion/induced_graphs/WeightedInducedGraphs.cc
src/graphillion/induced_graphs/WeightedInducedGraphs.h
src/graphillion/odd_edges_subgraphs/OddEdgeSubgraphs.cc
src/graphillion/odd_edges_subgraphs/OddEdgeSubgraphs.h
src/graphillion/partition/BalancedPartition.cc
src/graphillion/partition/BalancedPartition.h
src/graphillion/partition/ComponentRatioSpec.h
src/graphillion/partition/ComponentWeightSpec.h
src/graphillion/partition/GraphRangePartitionSpec.h
src/graphillion/partition/Partition.cc
src/graphillion/partition/Partition.h
src/graphillion/regular/RegularGraphs.cc
src/graphillion/regular/RegularGraphs.h
src/graphillion/reliability/reliability.cc
src/graphillion/reliability/reliability.h
src/graphillion/variable_converter/variable_converter.cc
src/graphillion/variable_converter/variable_converter.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/ToBDD.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/GraphillionZdd.hpp
src/subsetting/spec/LinearConstraints.hpp
src/subsetting/spec/PathZdd.hpp
src/subsetting/spec/PathZddByStdMap.hpp
src/subsetting/spec/SapporoBdd.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