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.