https://github.com/jozott00/clingotestrunner
This Python program automates Clingo ASP tests by executing given test files that contain certain comment annotations with expected results.
https://github.com/jozott00/clingotestrunner
answer-set-programming clingo clingodl testing
Last synced: 10 months ago
JSON representation
This Python program automates Clingo ASP tests by executing given test files that contain certain comment annotations with expected results.
- Host: GitHub
- URL: https://github.com/jozott00/clingotestrunner
- Owner: Jozott00
- Created: 2021-12-02T15:51:31.000Z (about 4 years ago)
- Default Branch: main
- Last Pushed: 2021-12-03T15:51:23.000Z (about 4 years ago)
- Last Synced: 2024-04-15T01:10:05.591Z (almost 2 years ago)
- Topics: answer-set-programming, clingo, clingodl, testing
- Language: Python
- Homepage:
- Size: 15.6 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0