GitHub repository: nbulsi/cirsat
Primary language: C++
Created: 2025-03-28T00:22:20Z
Description: A circuit-based Boolean satisfiability (SAT) solver