Skip to content

0.1.0
Compare
Choose a tag to compare
@marcofavorito marcofavorito released this 17 Apr 20:19
v0.1.0
f0958af
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

The first release of Lydia.

Main features:

  • Implementation of compositional approach for LDLf-to-DFA and LDLf synthesis
    (paper)
  • Support for LTLf by first translating formulae into LDLf.
  • CLI tool to interact with the library.
Assets 4
Loading