name: STLInspector
description: Systematic validation of Signal Temporal Logic (STL) specifications against informal textual requirements.
license_spdx: Apache-2.0
version: 1.1.2
spec_version: 1.0
home_url: https://github.com/STLInspector/STLInspector
news_url: https://libraries.io/pypi/STLInspector/versions.atom
date: 2017-05-14
about_resource: NONE
libraries_io_url: https://libraries.io/pypi/STLInspector?number=1.1.2
vcs_tool: git
vcs_repository: https://github.com/STLInspector/STLInspector
vcs_branch: master
