Repository navigation

limeltl

Public

About

Reconstruction of LTLf from observations.

1 star

1 watching

Report repository

Name		Name	Last commit message	Last commit date
.vscode		.vscode
src		src
.gitignore		.gitignore
.travis.yml		.travis.yml
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
README.md		README.md
binding.py		binding.py

Repository files navigation

LimeLTL

Based on https://aaai.org/ojs/index.php/ICAPS/article/view/3529, implemented as Rust CLI + Python bindings.

About

Reconstruction of LTLf from observations.

1 star

1 watching

Report repository

Releases

Packages

Contributors

Languages