Skip to main
Zenodo home
Communities
My dashboard
Log in Sign up
Published May 28, 2026 | Version v5
Software Open

Bitwuzla-dandelion

Authors/Creators

  • Li, Runzhou1 ORCID icon
  • Yao, Peisen1 ORCID icon
  • 1. Zhejiang University

Description

Bitwuzla-dandelion for SMT-COMP 2026

Files

bitwuzla-dandelion.pdf

Files (18.6 MB)

Name Size Download all
bitwuzla-dandelion-smtcomp2026-linux-x86_64.tar.gz
md5:aef2aafb27e06ef3929793fcbf738e3d
18.4 MB Download
bitwuzla-dandelion.pdf
md5:8fc006adbd3fd9230320a69be5344c1e
137.8 kB Preview Download
15
Views
42
Downloads
Show more details
All versions This version
Views

Total views

15 3
Downloads

Total downloads

42 8
Data volume

Total data volume

173.0 MB 56.2 MB

More info on how stats are collected....

Versions

External resources

Indexed in
  • OpenAIRE

Communities

Details

DOI
10.5281/zenodo.20422525
DOI Badge

DOI 

10.5281/zenodo.20422525

Markdown 

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

reStructuredText 

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

HTML 

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

Image URL 

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

Target URL 

https://doi.org/10.5281/zenodo.20422525
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
May 28, 2026
Modified
May 28, 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