Utility for viewing, monitoring and manipulating the contents of Smart-M3 (http://sourceforge.net/projects/smart-m3/) store as well as executing smodels rules over the contents of the store.Enables modification of store by external programs.
- Interface to smodels rule execution over Smart-M3
- Interpreter for Smart-M3 SSA protocol
- Interface to external visualization tools (IsaViz)
Be the first to post a review of ssls!