https://github.com/whitemech/cynthia
SDD-based Forward LTLf Synthesis
https://github.com/whitemech/cynthia
and-or-graphs and-or-search cpp finite-synthesis linear-temporal-logic sdd sentential-decision-diagram temporal-logics-on-finite-traces
Last synced: 3 months ago
JSON representation
SDD-based Forward LTLf Synthesis
- Host: GitHub
- URL: https://github.com/whitemech/cynthia
- Owner: whitemech
- License: gpl-3.0
- Created: 2021-07-08T17:24:32.000Z (almost 5 years ago)
- Default Branch: main
- Last Pushed: 2023-01-15T17:10:29.000Z (about 3 years ago)
- Last Synced: 2023-05-15T09:15:37.148Z (almost 3 years ago)
- Topics: and-or-graphs, and-or-search, cpp, finite-synthesis, linear-temporal-logic, sdd, sentential-decision-diagram, temporal-logics-on-finite-traces
- Language: C++
- Homepage: https://whitemech.github.io/cynthia/
- Size: 460 KB
- Stars: 3
- Watchers: 2
- Forks: 0
- Open Issues: 5