GitHub repository: rndmcnlly/ansunit
Primary language: Python
Description: Declarative unit testing for Answer Set Programming projects