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 | 381 | 381 |
Downloads | 16 | 16 |
Data volume | 1.8 MB | 1.8 MB |
Unique views | 358 | 358 |
Unique downloads | 16 | 16 |