cryptica/slapnet cryptica/slapnet

  • Stars
    star
    1
  • Language
    Haskell
  • License
    GNU General Publi...
  • Created over 10 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
cryptica/slapnet
github

cryptica

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Safety and Liveness Analysis of Petri Nets with SMT solvers

More Repositories

1

faterpg

A toolkit for generating characters for the FATE RPG
Haskell
2
star
2

pnerf

Petrinizer: A Constraint-Based Model Checker for Petri Nets
Prolog
2
star
3

tensidedcoin

Blog über Materialien und Experimente aus diversen Rollenspielsystemen, Brettspiele u.v.m.
Haskell
1
star