decomp

Compute (partial) tree decompositions using heuristics

Name		Name	Last commit message	Last commit date
Latest commit History 19 Commits
test-instances		test-instances
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
cores.py		cores.py
decomposer.py		decomposer.py
dp.py		dp.py
formula.py		formula.py
graph.py		graph.py
preprocess.py		preprocess.py
qm.py		qm.py
td.py		td.py
test_dp.py		test_dp.py
test_td.py		test_td.py

Provide feedback