Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / nicolasAmat / SMPT
SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/nicolasAmat%2FSMPT
Stars: 25
Forks: 4
Open Issues: 0
License: gpl-3.0
Language: Python
Repo Size: 8.91 MB
Dependencies:
0
Created: over 4 years ago
Updated: 7 months ago
Last pushed: 7 months ago
Last synced: 7 months ago
Topics: abstraction, linear-algebra, model-checker, model-checking, petri-nets, reachability, reachability-analysis, reductions, sat, smt, smt-solving, structural-reductions
Files
No dependencies found