There is a newer version of the record available.

Published July 28, 2022 | Version v5
Software Open

SATMAP artifact

  • 1. University of Wisconsin-Madison

Description

This software artifact includes the source code for SATMAP
(our MaxSAT-based tool for solving the qubit mapping and
routing problem), the benchmark suite used in our evaluation,
and scripts for invoking SATMAP and baseline tools on those
benchmarks, collecting relevant statistics.

Files

Files (6.7 MB)

Name Size Download all
md5:1f0f5e3b1e41f23209e0150fca0d4593
6.7 MB Download