specless.cli

Command Line Interface

Notes

This project is under active development. Not yet Developed.

With the [click](https://click.palletsprojects.com/en/8.1.x/) package, we exposed some functions as a command line tool.

Examples

>>> demo2spec -f <path/to/file>

>>> synthesize -d <path/to/demo> OR -s <LTLf formula> AND -e <Gym env> AND -p <path/to/param>