Software Open Access

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

Robillard, Simon; Coullon, Hélène

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

Files (33.0 MB)
Name Size
concerto-plan-synthesis-main.tar.gz
md5:8f4384cfa2c3a96866932a0149fe9919 		33.0 MB Download
81
15
views
downloads
All versions This version
Views 8181
Downloads 1515
Data volume 495.5 MB495.5 MB
Unique views 7373
Unique downloads 1515
More info on how stats are collected.
Indexed in
Publication date:
January 5, 2022
DOI:
10.5281/zenodo.5820571

Zenodo DOI Badge

DOI 

10.5281/zenodo.5820571

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.5820571.svg)](https://doi.org/10.5281/zenodo.5820571)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.5820571.svg
   :target: https://doi.org/10.5281/zenodo.5820571

HTML 

<a href="https://doi.org/10.5281/zenodo.5820571"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.5820571.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.5820571.svg

Target URL 

https://doi.org/10.5281/zenodo.5820571

License (for files):
CeCILL Free Software License Agreement v2.1

Versions

Version 1 10.5281/zenodo.5820571 Jan 5, 2022
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.5820570. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export