Skip to main
Zenodo home
Communities
My dashboard
Log in Sign up
Published June 11, 2026 | Version v6
Software Open

cvc5-xyz (smt comp 2026)

Authors/Creators

  • Xie, Xingyu1
  • Xu, Yingte1
  • Zhang, Zhiyuan1
  • 1. Max-Planck Institute for Security and Privacy

Files

cvc5-xyz.pdf

Files (42.8 MB)

Name Size Download all
cvc5-xyz-base.tar.gz
md5:f227a917543f47eaee33971a8f4b5721
21.3 MB Download
cvc5-xyz.pdf
md5:4ef1fdaaea77556e13575b04d6c00e90
191.3 kB Preview Download
cvc5-xyz.tar.gz
md5:b2c5ea3d1e2d87809349061a35e09133
21.3 MB Download
54
Views
58
Downloads
Show more details
All versions This version
Views

Total views

54 4
Downloads

Total downloads

58 3
Data volume

Total data volume

2.5 GB 573.9 kB

More info on how stats are collected....

Versions

External resources

Indexed in
  • OpenAIRE

Communities

Details

DOI
10.5281/zenodo.20642185
DOI Badge

DOI

10.5281/zenodo.20642185

Markdown

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.20642185.svg)](https://doi.org/10.5281/zenodo.20642185)

reStructuredText

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.20642185.svg
  :target: https://doi.org/10.5281/zenodo.20642185

HTML

<a href="https://doi.org/10.5281/zenodo.20642185"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.20642185.svg" alt="DOI"></a>

Image URL

https://zenodo.org/badge/DOI/10.5281/zenodo.20642185.svg

Target URL

https://doi.org/10.5281/zenodo.20642185
Resource type
Software
Publisher
Zenodo

Rights

License
cc-by-4.0 icon Creative Commons Attribution 4.0 International
The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more

Citation

Export

Technical metadata

Created
June 11, 2026
Modified
June 11, 2026

About

  • About
  • Policies
  • Infrastructure
  • Principles
  • Projects
  • Roadmap
  • Contact

Blog

  • Blog

Support

  • Help
  • FAQ

Developers

  • REST API
  • OAI-PMH

Contribute

  • GitHub
  • Donate

Funded by

Powered by CERN Data Centre & InvenioRDM

  • Status
  • Privacy policy
  • Cookie policy
  • Terms of Use

This site uses cookies. Find out more on how we use cookies