Published May 6, 2019
| Version 1.0.0
Software
Open
HtdSMT - An SMT based solver for hypertree decompositions
Description
A solver for hypertree decompositions that was created for PACE 2019 (https://pacechallenge.org/2019/)
Our solver creates an SMT encoding that is then solved by an SMT solver. We use optimathsat, but it can easily be adapted to any solver.
Files
frasmt.zip
Files
(113.8 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:5e0e88cbdef0e634ed03fd8f72277bc9
|
113.8 kB | Preview Download |