There is a newer version of the record available.

Published January 9, 2026 | Version v1
Software Open

Parallel SMT Solving via Iterative Tree Partitioning: Artifact

Authors/Creators

  • 1. ROR icon Università della Svizzera italiana
  • 2. Università della Svizzera Italiana

Description

Artifact of the paper "Parallel SMT Solving via Iterative Tree Partitioning" accepted at TACAS 2026.

Follow the instructions in 'README.md'.

The license is placed at 'LICENSE'.

Files

tacas26_submission1788.zip

Files (2.4 GB)

Name Size
md5:490e0abcfc79c082e40cf5b78eba2bc3
2.4 GB Preview Download

Additional details

Software

Repository URL
https://github.com/usi-verification-and-security/SMTS