cvc5
Published June 6, 2026 | Version v1
Software Open

cvc5 for SMT-COMP 2026

Authors/Creators

  • 1. Universidade Federal de Minas Gerais
  • 2. ROR icon Stanford University
  • 3. ROR icon Ludwig-Maximilians-Universität München
  • 4. ROR icon University of Iowa
  • 5. The University of Iowa
  • 6. ROR icon Bar-Ilan University

Description

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.

Files

cvc5.pdf

Files (33.8 MB)

Name Size Download all
md5:86262a8fe31d394fe1e2f3c6af5254ae
18.6 MB Preview Download
md5:24cc2f77dcf71a08267ec265cc1b470c
15.1 MB Preview Download
md5:28c7c66775a0c587f7f339258dedce72
124.1 kB Preview Download

Additional details

Software

Repository URL
https://github.com/cvc5/cvc5
Programming language
C++
Development Status
Active