syfco: Synthesis Format Conversion Tool / Library

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

Warnings:

Library and tool for reading, manipulating and transforming synthesis specifications.


[Skip to Readme]

Properties

Versions 1.1.0.0, 1.1.0.0
Change log None available
Dependencies array (>=0.5 && <0.6), base (>=4.7 && <4.10), containers (>=0.5 && <0.6), convertible (>=1.1), directory (>=1.2 && <1.4), mtl (>=2.2 && <2.3), parsec (>=3.1 && <3.2), transformers (>=0.4 && <0.6) [details]
License MIT
Author Felix Klein <klein@react.uni-saarland.de>
Maintainer Felix Klein <klein@react.uni-saarland.de>
Category SyntComp
Home page https://github.com/reactive-systems/syfco
Bug tracker https://github.com/reactive-systems/syfco/issues
Source repo head: git clone https://github.com/reactive-systems/syfco
Uploaded by kleinreact at 2017-07-03T14:25:47Z

Modules

[Index]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


Readme for syfco-1.1.0.0

[back to package description]

Synthesis Format Conversion Tool

A tool for reading, manipulating and transforming synthesis specifications in TLSF.

About this tool

The tool interprets the high level constructs of TLSF 1.1 (functions, sets, ...) and supports the transformation of the specification to Linear Temporal Logic (LTL) in different output formats. The tool has been designed to be modular with respect to the supported output formats and semantics. Furthermore, the tool allows to identify and manipulate parameters, targets and semantics of a specification on the fly. This is especially thought to be useful for comparative studies, as they are for example needed in the Synthesis Competition.

The main features of the tool are summarized as follows: