Evaluation-ready
Suitable for structured evaluation, not represented as certified or production-qualified.
About
Open research with an explicit boundary.
GCC is maintained by an individual and published for independent evaluation. CQ-SAT is the specialised exact backend within the broader checker platform.
Apache License 2.0
The implementation includes the licence's explicit patent grant.
Read the licencePublic and private routes
Use GitHub issues for non-sensitive project discussion and private security advisories for vulnerability reports.
Project issues