SAT_for_UNISON

Khoualdia, Asma; Cherif, Sami; Devismes, Stéphane; Robert, Léo

doi:10.4230/artifacts.23375

Artifact

SAT_for_UNISON Software

Authors Asma Khoualdia , Sami Cherif , Stéphane Devismes , Léo Robert

Part of: Collection: Supplementary Materials
License: Open Software License 3.0
Publication Date: 2025-08-08

Document Identifiers

DOI: 10.4230/artifacts.23375
URN: urn:nbn:de:0030-drops-233757

Author Details

Asma Khoualdia

MIS UR 4290, Université de Picardie Jules Verne, Amiens, France

Sami Cherif

MIS UR 4290, Université de Picardie Jules Verne, Amiens, France

Stéphane Devismes

MIS UR 4290, Université de Picardie Jules Verne, Amiens, France

Léo Robert

MIS UR 4290, Université de Picardie Jules Verne, Amiens, France

Content

Software (Source Code and Benchmarks): https://github.com/asmakhoualdia98/SU_SAT_Exec
archived version

Version/Status

Content created at: 2025-06-06
Status: Active (at the time of publication 2025-08-08)

Cite As Get BibTex

Asma Khoualdia, Sami Cherif, Stéphane Devismes, Léo Robert. SAT_for_UNISON (Software, Source Code and Benchmarks). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/artifacts.23375

Description

This supplementary material contains a program designed for encoding Satisfiability (SAT) instances enabling to analyze self-stabilization properties of synchronous unison. The extracted instances for chain, ring and star topologies with different sizes and moduli are also provided.

Subject Classification

Programming Languages

Python
Shell

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata Views

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail