Software Open Access
Andre Schidler; Stefan Szeider
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.
Name | Size | |
---|---|---|
frasmt.zip
md5:5e0e88cbdef0e634ed03fd8f72277bc9 |
113.8 kB | Download |
All versions | This version | |
---|---|---|
Views | 356 | 356 |
Downloads | 14 | 14 |
Data volume | 1.6 MB | 1.6 MB |
Unique views | 337 | 337 |
Unique downloads | 14 | 14 |