There is a newer version of the record available.

Published May 12, 2026 | Version v1
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)

Download the artifact and follow the instructions in 'README.md'

Files

Files (525.4 MB)

Name Size Download all
md5:d6099d3bd1e5d01ae38cf06e7b9bb049
525.4 MB Download

Additional details

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.