/ClingoTestRunner

This Python program automates Clingo ASP tests by executing given test files that contain certain comment annotations with expected results.

Primary LanguagePython

No issues in this repository yet.