GitHub repository: meelgroup/SBVA
Primary language: C++
Description: Structured BVA CNF rewriter