Published January 5, 2022
| Version v1
Software
Open
SMT-Based Planning Synthesis for Distributed System Reconfigurations - Software and Benchmarks
Creators
- 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 |