Published May 11, 2026 | Version v2
Software Open

Parallel SMT Solving via Dynamic Partitioning, Core-Guided Pruning, and Backbone Detection: Artifact

Authors/Creators

  • 1. EDMO icon University of California, San Diego
  • 2. Microsoft Research

Contributors

Project leader:

Project member:

  • 1. EDMO icon University of California, San Diego
  • 2. Microsoft Research

Description

Artifact of the paper "Parallel SMT Solving via Dynamic Partitioning, Core-Guided Pruning, and Backbone Detection" (Ilana Shapiro, Sorin Lerner, and Nikolaj Bjørner) submitted to FMCAD 2026.

Download the artifact and follow the instructions in 'README.md'. The MIT license is specified in 'LICENSE.md' inside the artifact.

Files

Files (525.4 MB)

Name Size Download all
md5:0b06d430a8e308ee181676553058e4b3
525.4 MB Download

Additional details

Dates

Submitted
2025-05-11

Software

Repository URL
https://github.com/Z3Prover/z3
Development Status
Active

References

  • Ilana Shapiro, Sorin Lerner, and Nikolaj Bjørner. "Parallel SMT Solving via Dynamic Partitioning, Core-Guided Pruning, and Backbone Detection." In submission to Formal Methods in Computer-Aided Design (FMCAD) 2026.