GitHub repository: testsmt/semantic-fusion-seeds
Description: Pre-categorized (sat/unsat) SMT-LIB benchmarks for Semantic Fusion