Softwares

fraSMT: A tool for computing the fractional hypertree width of hypergraphs using SMT.

BranchLIS: A tool for computing branch decompositions of graphs and hypergraphs with SAT-based local improvement.

Qute: A dependency learning Quantified Boolean Formulas (QBF) solver written in C++.