GitHub / andreafra / piacere-model-checker

PIACERE DOML Model Checker

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/andreafra%2Fpiacere-model-checker
PURL: pkg:github/andreafra/piacere-model-checker

Fork of michiari/piacere-mc-openapi
Stars: 1
Forks: 0
Open issues: 1

License: apache-2.0
Language: Python
Size: 3.53 MB
Dependencies parsed at: Pending

Created at: almost 3 years ago
Updated at: almost 3 years ago
Pushed at: almost 2 years ago
Last synced at: almost 2 years ago

Topics: doml, dsl, iac, model-checking, piacere, z3, z3-smt-solver

Loading...