depot.lipn.univ-paris13.fr / PMC-SOG / sog-rop
Reduced Symbolic Observation Graph with Ample Set of the partial order reduction
JSON API: https://data.code.gouv.fr/api/v1/hosts/depot.lipn.univ-paris13.fr/repositories/PMC-SOG%2Fsog-rop
Stars: 1
Forks: 0
Open issues:
License: None
Language:
Dependencies parsed at: Pending
Created at: over 5 years ago
Updated at: almost 5 years ago
Last synced at: 7 months ago
Readme
Loading...