Name		Name	Last commit message	Last commit date
org.smackers.smack.feature		org.smackers.smack.feature
org.smackers.smack		org.smackers.smack
release		release
README.md		README.md

Repository files navigation

SMACKd

An Eclipse plugin for visually debugging SMACK.

Plugin homepage found at http://smackers.github.io/smackd

About

Eclipse Plugin for Debugging with SMACK

Custom properties

1 star

4 watching

Report repository

Releases

Packages

Contributors

Languages