xfoxfu / limeltl Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Reconstruction of LTLf from observations.

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 27 Commits
.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.

Report repository

Releases

Packages

No packages published

Languages