Planned intervention: On Wednesday April 3rd 05:30 UTC Zenodo will be unavailable for up to 2-10 minutes to perform a storage cluster upgrade.
Published January 5, 2022 | Version v1
Software Open

SMT-Based Planning Synthesis for Distributed System Reconfigurations - Software and Benchmarks

  • 1. LIRMM, CNRS, Université de Montpellier
  • 2. LS2N, IMT Atlantique, INRIA

Description

Software and benchmarks for the paper "SMT-Based Planning Synthesis for Distributed System Reconfigurations"

Files

Files (33.0 MB)

Name Size Download all
md5:8f4384cfa2c3a96866932a0149fe9919
33.0 MB Download