GitHub repository: knowsys/nemo-examples
Primary language: Answer Set Programming
Description: Benchmarks and examples for the Nemo rule reasoner