Project description

fm-tools

Parse, use, and modify fm-tools metadata. It is meant to be used with fm-data files from the fm-tools repository.

Description

This library provides convenient access to fm-data through a simple API.

The fm-data file format specifies the download location, maintainers, command-line options, as well as other related information. An fm-data file for a specific tool is a YAML document with a precisely defined set of keys (a schema for the metadata of formal-methods tools is available in the repository).

fm-actor can also download and unzip tools specified in the fm-tools repository.

Project details

These details have not been verified by PyPI

View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery

Development Status
- 4 - Beta
Intended Audience
- Developers
License
- OSI Approved :: MIT License
Programming Language

Release history Release notifications | RSS feed

This version

0.2.3

May 26, 2024

0.2.2

May 16, 2024

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

fm_tools-0.2.3.tar.gz (11.2 kB view hashes)

Uploaded May 26, 2024 Source

Built Distribution

fm_tools-0.2.3-py3-none-any.whl (12.2 kB view hashes)

Uploaded May 26, 2024 Python 3

Hashes for fm_tools-0.2.3.tar.gz

Hashes for fm_tools-0.2.3.tar.gz
Algorithm	Hash digest
SHA256	`b2c783fd0f7566042133c174ba4315d6a734c4e29e5efecbfee4080737916cf6`
MD5	`6b6b33c1fd85343dad6528b2f8fdc65d`
BLAKE2b-256	`d2c11a185c6772d6900475bc2634ed43b48aa39082cd09aec6e30accbcc61599`

Hashes for fm_tools-0.2.3-py3-none-any.whl

Hashes for fm_tools-0.2.3-py3-none-any.whl
Algorithm	Hash digest
SHA256	`febd03591efdaea1925350c3211d21a7186f514f4f30985a31db0aa0d302c1cb`
MD5	`e3a0a1fbd970713f56274b028fbb57a4`
BLAKE2b-256	`ed45ce3030dceb54cb5b20e52c0fe1cb9bc221546bb793134e4c4296decbfeef`