Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ ZENODOarrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
ZENODO
Software
Data sources: ZENODO
Zenodo
Claim

cvc5 for SMT-COMP 2026

integration_instructionsResearch softwarekeyboard_double_arrow_right Software Under curationPublisher:Zenodo
Authors: Barbosa, Haniel; Barrett, Clark; Kondylidou, Lydia; Lachnitt, Hanna; Larraz, Daniel; Mohamed, Abdalrhman; Mohamed, Mudathir; +8 Authors

doi: 10.5281/zenodo.20571963

cvc5 for SMT-COMP 2026

Abstract

This artifact contains the two versions of cvc5 submitted to SMT-COMP 2026. See cvc5.pdf for a description of these versions. The archive "cvc5-default.zip" contains the build of cvc5 used forthe Single Query, Unsat Core, and Model Validation tracks. The archive "cvc5-inc.zip" contains the build of cvc5 used for the Incremental track.

Powered by OpenAIRE graph
Found an issue? Give us feedback