Erfasste Open-Source-Repos von cvc5, sortiert nach Sternen.
cvc5 ist ein Open-Source-Automatischer Theorembeweiser für Satisfiability Modulo Theories (SMT)-Probleme.
