Commit graph

1 commit

Author SHA1 Message Date
Jockey S. Kyd
321157f485 development/spin: Added (model checker)
Signed-off-by: Niels Horn <niels.horn@slackbuilds.org>
2011-09-28 08:34:57 -03:00