Published June 10, 2026 | Version v3
Software Open

Bitwuzllob SMT-COMP 2026 Submission

Authors/Creators

  • 1. ROR icon Karlsruhe Institute of Technology
  • 2. ROR icon Stanford University

Description

Bitwuzllob solver submission for the parallel track of SMT-COMP 2026.

Files

bitwuzllob-submission-smtcomp-2026.zip

Files (162.7 MB)

Name Size Download all
md5:0859ad30fa3e2c7957f09cf0c8e611ae
162.6 MB Preview Download
md5:d9d5558fdfa4cdf9ce0ac4e9f6e43306
69.4 kB Preview Download