All categories

Spock 1.0

Free Debug logic programs under the answer-set semantics.
0 
Latest version:
1.0 See all
Developer:
Collect

Spock is an open source prototype tool for debugging logic programs under the answer-set semantics. This easy-to-use tool provides debugging methods for propositional programs in DLV or Smodels syntax. The implemented techniques rely on ASP-meta-programming.

Comments

Suggestions

Arduino Create Agent
Arduino Create Agent
Free

Open source binary that reads from a config file and listens to http/websocket connections on a range of ports.

openglex4
openglex4
Free

OpenGL extensions, GLU, GLX, and WGL, are defined by vendors and maintained by SGI.

Power JSON Editor
Power JSON Editor
Free

Powerful JSON editor for developers.

Qt
Qt
Free

Qt is a cross-platform application and UI framework.

cevelop
cevelop
Free

Cevelop provides tools to keep code up-to-date with ISO C Standard...

BlingedJSONValidator
BlingedJSONValidator
Free

Blinged JSON Validator is a free app to validate JSON files with syntax highlighting, whitespace indentation, error messaging, and hotkeys.

Download
Free