The C3, SMT/SAT solver written in C. Contribute to RKX1209/c3 development by creating an account on GitHub.