Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / dalzilio / mcc

High-Level Nets Blaster for the Model-Checking Contest

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dalzilio%2Fmcc

Stars: 9
Forks: 1
Open Issues: 0

License: other
Language: Go
Repo Size: 1.17 MB
Dependencies: 289

Created: over 6 years ago
Updated: 8 months ago
Last pushed: over 1 year ago
Last synced: 8 months ago

Topics: colored-petri-nets, model-checking, model-checking-contest, petri-net, pnml

Files
    Loading...
    Readme
    Loading...
    Dependencies
    go.mod go
    .github/workflows/go.yml actions
    go.sum go