cryptica/slapnet
Safety and Liveness Analysis of Petri Nets with SMT solvers
Public GitHub Catalog
Discovered Sep 30, 2026
cryptica / master-thesis
Public repository discovered through GitHub real-time crawl.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#18877907GitHub System ID
crypticaOrganization / User
PublicVisibility
ActiveCatalog Status
More from cryptica
cryptica/CodeEval
My code for the challenges at codeeval.com
cryptica/dotfiles
Configuration files for my home directory, managed with homesick.
cryptica/mist
Safety checker for Petri Nets (and some extensions)