https://github.com/smackers/smackd

Eclipse Plugin for Debugging with SMACK
https://github.com/smackers/smackd

Last synced: 8 months ago
JSON representation

Eclipse Plugin for Debugging with SMACK

• Host: GitHub
• URL: https://github.com/smackers/smackd
• Owner: smackers
• Created: 2014-04-01T20:22:59.000Z (about 12 years ago)
• Default Branch: master
• Last Pushed: 2014-08-14T22:07:15.000Z (almost 12 years ago)
• Last Synced: 2025-01-11T15:23:40.230Z (over 1 year ago)
• Language: Java
• Homepage:
• Size: 2.13 MB
• Stars: 1
• Watchers: 5
• Forks: 1
• Open Issues: 2
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
SMACKd

==============

An Eclipse plugin for visually debugging SMACK.

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