Explore projects

A SLURM queue composable on your notebook. Use at your own risks.

Orpheus Adapter Builder

These are the source files of the Orpheus Adapter Builder for Jason.

Logo

Descrizione

Italiano: Orfeo circondato dagli animali. Mosaico pavimentale romano, da Palermo. Museo archeologico regionale di Palermo. English: Orpheus surrounded by animals. Ancient Roman floor mosaic, from Palermo, now in the Museo archeologico regionale di Palermo. Picture by Giovanni Dall'Orto.

Data 28 settembre 2006 Fonte Opera propria Autore Foto di Giovanni Dall'Orto

https://commons.wikimedia.org/wiki/File:Orfeo_Orpheus_(Apolo_y_Cal%C3%ADope).jpg?uselang=it

Translate CTL / LTL / CTL* query syntax from MCC to LTSmin. Optionally, fuzz CTL queries to create CTL* ones.