/sharp

Source code of the sharp library (libsharp) for dynamic programming on hypertree decompositions: http://dbai.tuwien.ac.at/proj/sharp/

Primary LanguageC++GNU General Public License v3.0GPL-3.0

No issues in this repository yet.