Welcome to specless’s documentation!

specless (SPECification LEarning and Strategy Synthesis) is a Python library for learningg specification from demonstrations and synthesizing strategies that satisfy the given specification. It aims to offer a simple and intuitive API. To checkout the code, please visit our repo on GitHub.

Note

This project is under active development.

For installation, please check the installation guide.

Contents

• API Reference

Indices and tables

• Index

• Module Index

• Search Page