Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / whitemech / cynthia
SDD-based Forward LTLf Synthesis
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/whitemech%2Fcynthia
Stars: 3
Forks: 0
Open Issues: 5
License: gpl-3.0
Language: C++
Repo Size: 460 KB
Dependencies: pending
Created: almost 3 years ago
Updated: over 1 year ago
Last pushed: over 1 year ago
Last synced: about 1 year ago
Topics: and-or-graphs, and-or-search, cpp, finite-synthesis, linear-temporal-logic, sdd, sentential-decision-diagram, temporal-logics-on-finite-traces