Skip to content
No description, website, or topics provided.
Python
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
.idea
bin
fhtd
lib/htd_validate
tests
.gitignore
INSTALL.txt
LICENSE
README.md
TODO.md
__init__.py
__main__.py
environment.yml
frasmt.py
frasmt_heur.py
frasmt_solver.py
frasmt_tester.py
pace_test.txt
solver_decoder.py
solver_enc.py

README.md

HtdSMT - An SMT based solver for hyper tree decompositions

This is a solver for the HTD problem. It is an adapted version of the FraSMT solver (https://github.com/daajoe/frasmt)

The solver is written in Python 2 and requires the optimathsat solver (http://optimathsat.disi.unitn.it/).

To start it either call "python frasmt.py " or pass the instance via STDIN to "python frasmt.py"

You can’t perform that action at this time.